Jump to content

Extension:MaintenanceShell

From mediawiki.org
MediaWiki extensions manual
MaintenanceShell
Release status: unmaintained
Implementation Special page
Description Provides access to the maintenance scripts via a special page.
Author(s)
Latest version 0.5.0
MediaWiki >= 1.37.0
License GNU General Public License 2.0 or later
Download
  • $wgMaintenanceShellPath
  • maintenanceshell
Quarterly downloads 12 (Ranked 117th)
Translate the MaintenanceShell extension if it is available at translatewiki.net
Issues Open tasks · Report a bug

The MaintenanceShell extension provides access to the maintenance scripts via a Special Page.

Installation

[edit]
  • Download and move the extracted MaintenanceShell 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/MaintenanceShell
  • Add the following code at the bottom of your LocalSettings.php file:
    wfLoadExtension( 'MaintenanceShell' );
    
  • Configure the user rights and grant yourself access to that group from a bureaucrat account.
  • Yes Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.

Configuration

[edit]

Parameters

[edit]
$wgMaintenanceShellPath
By default the extension lists maintenance scripts of MediaWiki core. Change this path to a different directory if you'd like to list different scripts instead (of a certain extension for example).

User rights

[edit]
maintenanceshell
This right (for security reasons not assigned to any group by default) grants the right to use Special:MaintenanceShell.
// Grant access to Special:MaintenanceShell to the "developer" user group:
$wgGroupPermissions['developer']['maintenanceshell'] = true;

# Or

// Create a new "maintenanceshell" user group for Special:MaintenanceShell:
$wgGroupPermissions['maintenanceshell']['maintenanceshell'] = true;

Usage

[edit]

Go to page Special:MaintenanceShell