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

Examples / Screenshots




From git
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/FilterSpecialPages 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.