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.

Special keys

 * Enter: open page link if only one entry left
 * Esc: toggle input selection

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
 * - Navigate to Special:Version on your wiki to verify that the extension is successfully installed.

From git
git clone https://github.com/hallowelt/mediawiki-extensions-FilterSpecialPages.git extensions/FilterSpecialPages wfLoadExtension('FilterSpecialPages');
 * go to your mediawiki base directory
 * clone extension:
 * add the following to LocalSettings.php
 * - Navigate to Special:Version on your wiki to verify that the extension is successfully installed.