Extension:FilterSpecialPages

MediaWiki extensions manual

FilterSpecialPages Release status: stable
Implementation	Special page
Author(s)	Leonid Verhovskij
Latest version	0.9
MediaWiki	1.27+
License	GNU General Public License 2.0 or later
Download	GitHub
Translate the FilterSpecialPages extension if it is available at translatewiki.net
Check usage and version matrix.

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

---

Installation

From archive

• 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.

From git

• go to your mediawiki base directory
• clone extension:

git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/FilterSpecialPages extensions/FilterSpecialPages

• add the following to LocalSettings.php

wfLoadExtension('FilterSpecialPages');

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