From 69130696dde1c7da6ba09217ee6bf6ef0031c659 Mon Sep 17 00:00:00 2001 From: Platonides Date: Sat, 21 Aug 2010 13:58:54 +0000 Subject: [PATCH] wfSpecialProtectedtitles() is no longer used. Follow up r71130. --- includes/specials/SpecialProtectedtitles.php | 9 --------- 1 file changed, 9 deletions(-) diff --git a/includes/specials/SpecialProtectedtitles.php b/includes/specials/SpecialProtectedtitles.php index dde169db43..82e2b61db1 100644 --- a/includes/specials/SpecialProtectedtitles.php +++ b/includes/specials/SpecialProtectedtitles.php @@ -230,12 +230,3 @@ class ProtectedTitlesPager extends AlphabeticPager { } } -/** - * Constructor - */ -function wfSpecialProtectedtitles() { - - $ppForm = new ProtectedTitlesForm(); - - $ppForm->showList(); -} -- 2.20.1