Extension:PreToClip

Manuel des extensions MediaWiki

PreToClip État de la version : stable
Implémentation	Extension de l'analyseur , Habillage
Description	ajoute un bouton Copier vers le presse-papier à chaque balise ‎<pre>
Auteur(s)	Thomas Candrian, Robert Vogel
Dernière version	3.0.0-alpha
Politique de compatibilité	Pour chaque version de MediaWiki qui est une version avec support à long terme (LTS - Long Term Support) il existe une branche correspondante dans l'extension.
Modifie la base de données	Non
Accroches utilisées OutputPageBeforeHTML
Licence	Licence publique générale GNU v3.0 seulement
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
Traduire l’extension PreToClip sur translatewiki.net si elle y est disponible

L'extension PreToClip ajoute un bouton Copier vers le presse-papier à chaque balise ‎<pre>, même à celles qui sont générées automatiquement (par exemple par Extension:SyntaxHighlight ).

Installation

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

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

  wfLoadExtension( 'PreToClip' );
  

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

Liens externes

• Extension reference: PreToClip