Manuel des extensions MediaWiki

FileExporter État de la version : stableCategory:Stable extensions/fr
Implémentation	Interface utilisateurCategory:User interface extensions/fr
Description	Fournit un lien vers l'extension FileImporter d'un autre wiki
Auteur(s)	Wikimedia Allemagne (WMDE)
Dernière version	mises à jour continues
Politique de compatibilité	Versions ponctuelles alignées avec MediaWiki. Le master n'est pas compatible arrière.
Modifie la base de données	Non
Licence	Licence publique générale GNU v2.0 ou supérieur
Téléchargement	Télécharger l'extension Git [?]: parcourir le dépôt (GitHub) relecture Gerrit du code historique Git des validations (commits) Télécharger le tarball source Category:Extensions in Wikimedia version control/fr
Paramètres $wgFileExporterTarget
Accroches utilisées ChangeTagsAllowedAdd Category:ChangeTagsAllowedAdd extensions/fr ChangeTagsListActive Category:ChangeTagsListActive extensions/fr ListDefinedTags Category:ListDefinedTags extensions/fr SkinTemplateNavigation::Universal Category:SkinTemplateNavigation::Universal extensions/fr
Traduire l’extension FileExporter sur translatewiki.net si elle y est disponible
Problèmes	Tâches ouvertes · Signaler un bogue

L'extension FileExporter fournit un lien vers l'extension FileImporter d'un autre wiki.

Installation

• Téléchargez et placez le(s) fichier(s) dans un répertoire appelé FileExporter 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/FileExporter
  

• Ajoutez le code suivant à la fin de votre fichier LocalSettings.php  :

  wfLoadExtension( 'FileExporter' );
  

• Fait – Accédez à Special:Version sur votre wiki pour vérifier que l'extension a bien été installée.

Liens

• Extension:FileImporter
• Phabricator: construire une extension de Commons qui déplace des fichiers vers Commons

Cette extension est utilisée par au moins un des projets Wikimédia. Cela signifie probablement que l’extension est assez stable et fonctionnelle pour être utilisée sur des sites à fort trafic. Recherchez le nom de cette extension dans le CommonSettings.php de Wikimédia et dans le fichier de configuration InitialiseSettings.php pour situer les endroits où elle est installée. Une liste complète des extensions installées sur un Wiki donné peut être visualisée sur la page Special:Version de ce wiki.