Manuel:Extensions

From MediaWiki.org
Jump to: navigation, search
This page is a translated version of the page Manual:Extensions and the translation is 100% complete.

Other languages:
العربية • ‎български • ‎dansk • ‎Deutsch • ‎Ελληνικά • ‎English • ‎español • ‎français • ‎magyar • ‎Bahasa Indonesia • ‎日本語 • ‎한국어 • ‎polski • ‎پښتو • ‎português do Brasil • ‎русский • ‎سنڌي • ‎ไทย • ‎Türkçe • ‎中文
Gnome-preferences-other.svg Extensions:Manual:Extensions DéveloppementManual:Developing extensions Extension "Tag"Manual:Tag extensions Manuel:Fonctions d'analyseManual:Parser functions Points d’accrocheManual:Hooks Pages spécialesManual:Special pages Manuel:HabillageManual:Skins Manuel:Mots magiquesManual:Magic words APIAPI:Extensions

Qu'est-ce qu'une extension ?[edit]

Extensions MediaWiki

Les extensions vous permettent de personnaliser l'apparence et la façon de travailler de MediaWiki.

Les utilisateurs wiki peuvent rechercher parmi les extensions existantes ou bien demander une nouvelle extension. Les administrateurs système peuvent installer (ou désinstaller) des extensions sur les systèmes MediaWiki qu'ils gèrent. Les développeurs peuvent écrire de nouvelles extensions ou bien améliorer/maintenir des extensions existantes.

Recherchez les extensions par mot(s)-clé(s) :

En fonction de vos objectifs, vous pouvez utiliser des extensions pour :

Certaines extensions sont maintenues par les développeurs MediaWiki, d'autres sont écrites par des développeurs tiers. De ce fait, un certain nombre d'entre elles contiennent des bogues et la compatibilité entre extensions n'est pas garantie. Certaines ne sont pas maintenues : toutes les extensions ne fonctionnent pas sur toutes les versions de MediaWiki. L'utilisation de toute extension, notamment celles qui sont marquées comme dangereuses, se fera à vos risques et périls. Lorsque l'utilisation d'une extension réclame d'ajouter des patches dans le noyau MediaWiki ou des entrées supplémentaires dans votre(vos) base(s) de données, assurez-vous d'effectuer une sauvegarde de votre base de données et/ou du code noyau MediaWiki de façon à éviter de planter de façon permanente votre wiki.

Navigation dans les extensions[edit]

Vous pouvez naviguer dans la catégorie Catégorie:Extensions par catégoriesCategory:Extensions by category pour voir la majeure partie des extensions qui ont été écrites. Pour les informations sur la manière d'installer ces extensions ou bien d'écrire la vôtre, voyez plus bas.

Vérification des extensions installées[edit]

Seule une personne disposant d'un accès administration au système de fichiers (et souvent aussi à la base de données) sur un serveur peut installer des extensions pour MediaWiki, mais tous peuvent vérifier quelles extensions sont installées sur une version de MediaWiki en accédant à la page spéciale Spécial:Version. Par exemple, voici la liste des extensions actives sur la Wikipédia francophone.

Installation d'une extension[edit]

MediaWiki est prêt à accepter des extensions dès la fin de l'installation. Pour ajouter une extension, suivez ces étapes :

  1. Avant de commencer
    De nombreuses extensions fournissent des instructions conçues pour l'installation à l'aide de commandes unix. Vous aurez besoin d'un accès shell (SSH) pour entrer ces commandes énumérées dans les page d'aide de l'extension.
  2. Téléchargez votre extension.
    La page de téléchargement d'extensions vous permet de sélectionner et de télécharger la plupart des extensions populaires.
    Les extensions sont généralement distribuées sous forme de packages modulaires. Elles vont généralement dans leur propre sous-répertoire du dossier $IPManual:$IP/extensions/. Une liste des extensions stockées dans Wikimedia Dépôt Git est localisé dans git:mediawiki/extensions. Certaines extensions n'utilisent pas de contrôle de version et ne sont pas recommandées.
    Quelques extensions aussi sont disponibles en forme de colis, en composercomposer ou en entrepôts.
  3. Installez votre extension..
    Généralement à la fin du fichier LocalSettings.phpManual:LocalSettings.php, (mais au-dessus de délimiteur de fin de code PHP "?>" s'il est présent), la ligne suivante devrait être ajoutée :
    // mw.v 1.24.x or less
    require_once "$IP/extensions/extension_name/extension_name.php";
    // mw.v 1.25.x or above
    wfLoadExtension( '<extension-name>' );
    
    Cette ligne oblige l'interpréteur PHP à lire le fichier principal de l'extension et donc rendre l'extension accessible via MediaWiki.
    Certaines extensions peuvent être en conflit avec les scripts de maintenance, par exemple si elle accèdent directement à $_SERVER (non recommandé).
    Dans ce cas, elle peuvent être enveloppées avec une condition afin que les scripts de maintenance puissent toujours s'exécuter.
//for mw.v 1.24.x or less
if (!$wgCommandLineMode) {
   require_once "$IP/extensions/extension_name/extension_name.php";
}
//for mw.v 1.25.x or above
if (!$wgCommandLineMode) {
   wfLoadExtension ( '<extension-name>' );
}
Le script de maintenance importDump.phpManual:ImportDump.php ne fonctionnera pas pour toute extension qui nécessite des espaces de nom personnalisés qui est incluse dans la condition ci-dessus comme Extension:Semantic MediaWikiExtension:Semantic MediaWiki, Extension:Semantic FormsExtension:Semantic Forms.
Assurez-vous de disposer des permissions adéquates pour les extensions !
Bien que la procédure d'installation soit suffisante pour la majorité des extensions, d'autres peuvent requérir une installation spécifique, voyez la page de documentation de l'extension pour plus d'informations.
Si vous souhaitez modifier la configuration des variables dans LocalSettings.php, vous devez impérativement le faire après avoir inclus l'extension. Autrement les valeurs par défaut de l'extension écraseront votre configuration.
Attention! Attention : Bien que les déclarations d'extensions puissent être ajoutées n'importe où dans le fichier LocalSettings.php file, il ne faut jamais rien ajouter avant la ligne require_once "includes/DefaultSettings.php"; (pour les versions MediaWiki ci-dessous 1.17). Si vous faites ainsi, cela éliminera la zone de fonctionnement des paramètres d'extension, empêchant l'installation des extensions et rendant probablement impossible l'accès à votre wiki jusqu'à la résolution de la panne !

Mise à jour d'une extension[edit]

Certaines extensions nécessitent une mise à jour lorsque vous mettez à jour MediaWiki tandis que d'autres fonctionnent sur plusieurs versions. Pour mettre à jour une extension :

  1. Téléchargez la nouvelle version de l'extension.
  2. Remplacez tous les fichiers de l'extension dans le répertoire extension/NomDeLExtension avec les nouveaux fichiers. Ne retirez pas la configuration de l'extension présente dans LocalSettings.php.
  3. En fonction de l'extension, il se peut que vous ayez à lancer le script de maintenance Update.phpmanual:Update.php. La majeure partie des extensions mentionneront si le script a besoin ou non d'être exécuté. Malgré tout, le fait de lancer le script update.php même si cela n'est pas nécessaire ne causera aucun dommage, donc, si n'êtes pas certains, ne craignez pas de le lancer. Si vous ne disposez pas d'accès aux lignes de commande, vous pouvez aussi utiliser l'utilitaire de mise à jour web.
  4. C'est tout ce que vous avez à faire. Dans la plupart des cas, une configuration que vous avez faite dans LocalSettings.php fonctionnera aussi avec la nouvelle version de l'extension.
Ces instructions couvrent 99% des extensions. Si l'extension spécifique que vous mettez à jour diffère de celles-ci, vous devriez dans ce cas suivre les instructions de cette extension spécifique.

Suppression d'une extension[edit]

Les extensions sont ajoutées grâce à une ligne que l'on place dans LocalSettings.php, qui grosso-modo ressemble à ceci :

// mw.v 1.24.x or less
require_once 'extensions/extension_name/extension_name.php';
// mw.v 1.25.x or above
wfLoadExtension( '<extension-name>' );
En fonction de l'extension que vous souhaitez désinstaller, celle-ci peu avoir nécessité quelques manipulations lors de son installation. Pour plus de détails, voir la section sur l'installation d'une extension.
  1. Supprimez cette ligne et l'extension sera désinstallée. Si vous le souhaitez, vous pouvez (et vous devriez si vous ne souhaitez plus utiliser cette extension à l'avenir) supprimer les fichiers de cette extension dans le répertoire « extensions/ ».
  2. Peut-être avez-vous d'autres lignes en rapport avec l'extension que vous souhaitez supprimer dans LocalSettings.php. Très certainement, il s'agira de lignes qui donnent à certaines catégories d'utilisateur d'accéder à des pages générées par l'extension. Ces lignes contiennent la variable « $wgGroupPermissions » et mettent en place quelques paramètre ici. Du moment qu'elles concernent des droits qui proviennent de l'extension supprimée, vous pouvez aussi supprimer ces lignes.
  3. Il se peut aussi que l'extension ait ajouté des colonnes dans votre base de données. Le fichier de mise à jour maintenance update.php les retire quand vous le lancez après avoir bien entendu désinstallé l'extension.

Développement d'extensions[edit]

Ce sujet complexe est développé dans la page manuel Développement d'extensions.

Voir aussi[edit]

ExtensionsManual:Extensions: Catégorie[[::Category:Extensions]]tout[[::Category:All extensions]]RequêtesManuel:Extensions de balisesManual:Tag extensionsFAQ des extensionsExtensions FAQVariantes d'extensionsEspaces de noms par défaut de l'extension