Extension:UpdateMediaWiki/fr

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écharger l'extension Git [?]: Télécharger la branche master de Git parcourir le dépôt (GitHub) historique des validations (commits) contributeurs du dépôt (GitHub) relecture du code
Droits ajoutés updatecore
Téléchargements trimestriels	3 (Ranked 129th)
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' );
  

•  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.