Jump to content

Extension:FilterSpecialPages

From mediawiki.org
MediaWiki extensions manual
FilterSpecialPages
Release status: stable
Implementation Special page
Description Inserts a field to filter entries on "Special:Specialpages".
Author(s)
Latest version 3.0.0-alpha
MediaWiki >= 1.39.0
Composer hallowelt/filter-special-pages
License GNU General Public License 3.0 or later
Download
Quarterly downloads 6 (Ranked 131st)
Translate the FilterSpecialPages extension if it is available at translatewiki.net

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.

Installation

  • Download and move the extracted FilterSpecialPages folder to your extensions/ directory.
    Developers and code contributors should install the extension from Git instead, using:cd extensions/
    git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/FilterSpecialPages
  • Add the following code at the bottom of your LocalSettings.php file:
    wfLoadExtension( 'FilterSpecialPages' );
    
  • Yes Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.