Extension:UpdateMediaWiki/fr

From mediawiki.org
This page is a translated version of the page Extension:UpdateMediaWiki and the translation is 15% complete.
Manuel des extensions MediaWiki
updateMediaWiki
État de la version : non-maintenu
Implémentation Page spéciale , MyWiki
Description Permet les utilisateurs autorisés de faire la mise à jour à partir d'une page spéciale
Auteur(s) Miguel Peláez (Miguel2706discussion)
Dernière version 0.3.0 (2014-04-03)
MediaWiki 1.25+
PHP 5.3+
Licence Licence publique générale GNU v2.0 ou supérieur
Téléchargement
Téléchargements trimestriels 3 (Ranked 146th)
Traduire l’extension UpdateMediaWiki sur translatewiki.net si elle y est disponible

L'extension UpdateMediaWiki permet les utilisateurs autorisés de faire la mise à jour à partir d'une page MediaWiki spéciale.

Installation

  • Téléchargez et placez le(s) fichier(s) dans un répertoire appelé UpdateMediaWiki dans votre dossier extensions/.
    Les développeurs et les contributeurs au code doivent à la place installer l'extension à partir de Git en utilisant:cd extensions/
    git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/UpdateMediaWiki
  • Ajoutez le code suivant à la fin de votre fichier LocalSettings.php  :
    wfLoadExtension( 'UpdateMediaWiki' );
    
  • Yes Fait – Accédez à Special:Version sur votre wiki pour vérifier que l'extension a bien été installée.

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.