Extension:FilterSpecialPages

Inserts a field to filter entries in Special:Specialpages.

Usage
Quick access and less searching for special pages: The extension offers a search field at the special page "Specialpages". While typing a search string (e.g. "pages") only special pages with this search string in the title will be shown.

From archive

 * Download archive from GitHub
 * extract archive into mediawiki's extension folder
 * rename folder "mediawiki-extensions-FilterSpecialPages-master" to "FilterSpecialPages"
 * add "wfLoadExtension('FilterSpecialPages');" to LocalSettings.php

From git

 * go to your mediawiki base directory
 * clone extension: "git clone https://github.com/hallowelt/mediawiki-extensions-FilterSpecialPages.git extensions/FilterSpecialPages"
 * add "wfLoadExtension('FilterSpecialPages');" to LocalSettings.php