wfSpecialProtectedtitles() is no longer used. Follow up r71130.

diff --git a/includes/specials/SpecialProtectedtitles.php b/includes/specials/SpecialProtectedtitles.php
index dde169d..82e2b61 100644 (file)
--- 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();
-}