wiki.techinc.nl/includes/SpecialRandomredirect.php
Siebrand Mazeland 79d5225c0e * remove end of line whitespace
* remove empty lines at end of file
* remove "?>" where still present
2008-04-14 07:45:50 +00:00

19 lines
450 B
PHP

<?php
/**
* Special page to direct the user to a random redirect page (minus the second redirect)
*
* @addtogroup SpecialPage
* @author Rob Church <robchur@gmail.com>, Ilmari Karonen
* @license GNU General Public Licence 2.0 or later
*/
class SpecialRandomredirect extends RandomPage {
function __construct(){
parent::__construct( 'Randomredirect' );
}
// Override parent::isRedirect()
public function isRedirect(){
return true;
}
}