From 222b01f5169f1c7e69762e0e8904c24f78f71882 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Wed, 28 Jul 2010 11:52:48 +0200 Subject: update to MediaWiki 1.16.0 --- includes/specials/SpecialRandomredirect.php | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'includes/specials/SpecialRandomredirect.php') diff --git a/includes/specials/SpecialRandomredirect.php b/includes/specials/SpecialRandomredirect.php index 629d5b3c..28cb2aae 100644 --- a/includes/specials/SpecialRandomredirect.php +++ b/includes/specials/SpecialRandomredirect.php @@ -10,10 +10,7 @@ class SpecialRandomredirect extends RandomPage { function __construct(){ parent::__construct( 'Randomredirect' ); + $this->isRedir = true; } - // Override parent::isRedirect() - public function isRedirect(){ - return true; - } } -- cgit v1.2.3-54-g00ecf