Patched jquery-1.4.2 to not crash in IE7 when a style property is set with 'null...
[mediawiki.git] / includes / specials / SpecialRandomredirect.php
blob28cb2aae29465b60e33767a42701f96040014398
1 <?php
3 /**
4 * Special page to direct the user to a random redirect page (minus the second redirect)
6 * @ingroup SpecialPage
7 * @author Rob Church <robchur@gmail.com>, Ilmari Karonen
8 * @license GNU General Public Licence 2.0 or later
9 */
10 class SpecialRandomredirect extends RandomPage {
11 function __construct(){
12 parent::__construct( 'Randomredirect' );
13 $this->isRedir = true;