Deze extensie wordt nu niet actief onderhouden! Het kan dus nog wel werken, maar bugs worden waarschijnlijk niet meer verholpen en verzoeken tot aanpassingen worden niet meer opgepakt. Als u dit ontwikkelen en onderhouden met betrekking tot deze extensie wilt overnemen, dan kunt u vragen om eigenaar te worden van de repository. Vanzelfsprekend neemt u eerst even contact op met de maker van de extensie. U kunt ook daarna dit sjabloon verwijderen en uzelf als maintainer van de extensie in de infobox van {{Extensie }} zetten.

MediaWiki Handleiding extensies

updateMediaWiki Release status: niet onderhoudenCategory:Unmaintained extensions/nl
Implementatie	Speciale pagina Category:Special page extensions/nl, MyWiki Category:Personalization extensions/nl
Beschrijving	Geeft beheerders en geautoriseerde gebruikers het recht om MediaWiki via een speciale pagina te updaten
Auteur(s)	Miguel Peláez (Miguel2706overleg)
Laatste versie	0.3.0 (2014-04-03)
MediaWiki	1.25+Category:Extensions with manual MediaWiki version/nl
PHP	5.3+
Licentie	GNU General Public Licentie 2.0 of hoger
Download	Extensie downloaden Git [?]: blader door de repository (GitHub) Gerrit code review Git commit log Download bron tarball Category:Extensions in Wikimedia version control/nl
Toegevoegde rechten updatecore Category:Extensions which add rights/nl
Vertaal de UpdateMediaWiki extensie indien beschikbaar op translatewiki.net

De UpdateMediaWiki extensie geeft beheerders en geautoriseerde gebruikers het recht om MediaWiki via een speciale pagina te updaten.

Installatie

• Download en plaats de bestanden in de map UpdateMediaWiki in de map extensions/.
  Ontwikkelaars en bijdragers van code moeten in plaats daarvan de extensie van Git installeren, met behulp van:

  cd extensions/
  git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/UpdateMediaWiki
  

• Voeg de volgende code onderaan het bestand LocalSettings.php toe:

  wfLoadExtension( 'UpdateMediaWiki' );
  

• Klaar – Navigeer naar Special:Version op de wiki om te controleren dat de extensie geïnstalleerd is.

Gebruikersrechten

Als de extensie is geïnstalleerd moeten er in LocalSettings.php de benodigde gebruikersrechten worden ingesteld.

Het volgende voorbeeld stelt beheerders in staat om alle functies van UpdateMediaWiki te gebruiken:

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

Gebruik

Om te updaten met deze extensie, ga naar "Special:Updatemediawiki". Het recht "updatecore" is vereist om deze actie uit te voeren.