Extension:UpdateMediaWiki

MediaWiki extensions manual
updateMediaWiki
Release status: unmaintained
Implementation Special page , MyWiki
Description Allows authorized users upgrade from a special page
Author(s) Miguel Peláez (Miguel2706talk)
Latest version 0.3.0 (2014-04-03)
MediaWiki 1.25+
PHP 5.3+
License GNU General Public License 2.0 or later
Download
updatecore
Quarterly downloads 3 (Ranked 133rd)
Translate the UpdateMediaWiki extension if it is available at translatewiki.net

The UpdateMediaWiki extension allows authorized users upgrade from a special page MediaWiki.

Installation

  • Download and move the extracted UpdateMediaWiki 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/UpdateMediaWiki
  • Add the following code at the bottom of your LocalSettings.php file:
    wfLoadExtension( 'UpdateMediaWiki' );
    
  •   Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.

User rights

Once you installed the extension, you'll have to set up the user rights in LocalSettings.php .

Right Description
updatecore Update the MediaWiki Core

For example, the following sample configuration would allow sysops to do everything they want with UpdateMediaWiki:

$wgGroupPermissions['sysop']['updatecore'] = true;

Usage

To update from this extension, go to "Special:Updatemediawiki". Permission "updatecore" is required to do so.