update to Mediawiki 1.13.3; some cleanups

1 files changed, 0 insertions, 20 deletions

diff --git a/includes/SpecialRandomredirect.php b/includes/SpecialRandomredirect.php
deleted file mode 100644
index ccf5cbcd..00000000
--- a/includes/SpecialRandomredirect.php
+++ /dev/null
@@ -1,20 +0,0 @@
-<?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;
-	}
-}
-