Extension:UpdateMediaWiki
This extension is currently not actively maintained! Although it may still work, any bug reports or feature requests will more than likely be ignored. If you are interested in taking on the task of developing and maintaining this extension, you can request repository ownership. As a courtesy, you may want to contact the author. You should also remove this template and list yourself as maintaining the extension in the page's {{Extension}} infobox. |
 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 128th) |
| Translate the UpdateMediaWiki extension if it is available at translatewiki.net | |
The UpdateMediaWiki extension allows authorized users upgrade from a special page MediaWiki.
Installation
edit- Download and move the extracted
UpdateMediaWikifolder to yourextensions/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
editOnce 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
editTo update from this extension, go to "Special:Updatemediawiki". Permission "updatecore" is required to do so.