Extension:FilterSpecialPages

MediaWiki extensions manual

FilterSpecialPages Release status: stable
Implementation	Special page
Description	Inserts a field to filter entries on "Special:Specialpages".
Author(s)	Leonid Verhovskij
Latest version	0.9
MediaWiki	1.27+
License	GNU General Public License 3.0 or later
Download	Download extension Git [?]: Download Git master browse repository (GitHub) commit history repository contributors (GitHub) code review
Hooks used BeforePageDisplay
Translate the FilterSpecialPages extension if it is available at translatewiki.net
Check usage and version matrix.

The FilterSpecialPages extension inserts a filter field on the page 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, only special pages with this search string in the title will be shown.

Special keys

• Enter: Open the target page if only one entry is left.
• Esc: Highlight input selection for faster overwriting of the search term.

Examples / Screenshots

Example 1

Example 2

Installation

• Download and place the file(s) in a directory called FilterSpecialPages in your extensions/ folder.
• Add the following code at the bottom of your LocalSettings.php:

  wfLoadExtension( 'FilterSpecialPages' );
  

•  Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.