Extension:UpdateMediaWiki/nl

MediaWiki Handleiding extensies

updateMediaWiki Release status: niet onderhouden
Implementatie	Speciale pagina , MyWiki
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+
PHP	5.3+
Licentie	GNU General Public Licentie 2.0 of hoger
Download	Extensie downloaden Git [?]: Download Git master blader door de repository (GitHub) commitgeschiedenis repository beheerders (GitHub) code review
Downloads kwartaal	2 (Ranked 143rd)
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.

Recht	Beschrijving
updatecore	De MediaWiki Core bijwerken

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.