Extension:UpdateMediaWiki

Category:Unmaintained extensions#UpdateMediaWiki Category:Extensions without an imageCategory:Extensions without a compatibility policyCategory:GPL licensed extensions
MediaWiki extensions manual
updateMediaWiki
Release status: unmaintainedCategory:Unmaintained extensions
Implementation Special page Category:Special page extensions, MyWiki Category:Personalization extensions
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+Category:Extensions with manual MediaWiki version
PHP 5.3+
License GNU General Public License 2.0 or later
Download Category:Extensions in Wikimedia version control
Quarterly downloads 2 (Ranked 90th)
Translate the UpdateMediaWiki extension if it is available at translatewiki.net
Category:All extensions

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' );
    
  • Yes 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.

Category:All extensions Category:Extensions in Wikimedia version control Category:Extensions which add rights Category:Extensions with manual MediaWiki version Category:Extensions without a compatibility policy Category:Extensions without an image Category:GPL licensed extensions Category:Personalization extensions Category:Special page extensions Category:Unmaintained extensions