From 911c0c72cca06907e898318f06e8ba68492a4908 Mon Sep 17 00:00:00 2001 From: Alexandre Emsenhuber Date: Tue, 15 Nov 2011 18:28:26 +0000 Subject: [PATCH] Removed useless constructor, just use parent's one which is identical --- includes/WikiCategoryPage.php | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/includes/WikiCategoryPage.php b/includes/WikiCategoryPage.php index 96dcef20b5..01938cd987 100644 --- a/includes/WikiCategoryPage.php +++ b/includes/WikiCategoryPage.php @@ -3,11 +3,7 @@ * Special handling for category pages */ class WikiCategoryPage extends WikiPage { - - public function __construct( Title $title ) { - $this->mTitle = $title; - } - + /** * Don't return a 404 for categories in use. * In use defined as: either the actual page exists -- 2.20.1