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	2.0.0-alpha
Politique de compatibilité	Pour chaque version de MediaWiki qui est une version avec support à long terme (LTE - Long Term Support) il existe une branche correspondante dans l'extension.
Modifie la base de données	Non
Licence	Licence publique générale GNU v3.0 seulement
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
Accroches utilisées OutputPageBeforeHTML
Téléchargements trimestriels	26 (Ranked 110th)
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