Extension:CharInsert/fr

L'extension CharInsert permet de créer des liens JavaScript qui, une fois cliqués, insèrent du texte prédéfini dans la text box.

Ces liens sont généralement utilisés dans MediaWiki:Edittools (exemple sur ce wiki) message système.

Syntaxe
Utilisez les balises avec une liste séparée par des espaces de caractères ou de balises pour lesquelles vous souhaitez autoriser l'insertion.

Vous pouvez utiliser le signe + dans une balise pour définir un emplacement pour :


 * insérer le texte sélectionné ou
 * placez le curseur si aucun texte n'est sélectionné.

Vous devez inclure des modèles et des espaces dans :



Utilisation et sortie d'échantillon


Caractères individuels
Les caractères individuels sont simplement listés entre les balises "charinsert".

résultats



Caractères combinés
Les caractères combinés sont listés entre les balises "charinsert" et reliés par le signe "+".

Résultats

Overriding display text
A different display text can be specified in the  attribute (if you use this, you should use separate   tags for each character in order to specify different display texts).

results in

Installation


Configuration avancée
Important : Vous devez avoir pour que cela fonctionne.

Mise en forme


Pour donner aux listes de charinsert un style supplémentaire, enveloppez le contenu de vos outils d'édition entre  et  et ajoutez un style pour eux à votre. Ce site (www.mediawiki.org) fait cela pour faire apparaître les liens comme des boutons (comme le montre la capture d'écran sur le côté). La feuille de style ci-dessous a été utilisée pour cela, copiez-la dans votre pour appliquer le même style.

Vous pouvez également choisir un style plus proche du Wikimedia Design Style Guide et du WikimediaUI thème:

Programmation
Si vous avez beaucoup de liens CharInsert, vous pouvez utiliser JavaScript pour les mettre dans des groupes séparés et permettre une commutation dynamique avec un menu déroulant. Par exemple pour séparer les caractères diacritiques de wikisyntax etc. Plusieurs sites (tels que mediawiki.org, de.wikipedia.org et en.wikipedia.org) l'ont fait. Ils l'ont tous implémenté de différentes manières. Documenté ci-dessous est la façon dont il est fait sur mediawiki.org :

1. Enveloppez toutes les balises charinsert sur MediaWiki:Edittools dans un conteneur et donnez-lui un identifiant descriptif et unique (par exemple "mw-edittools-charinsert"):
 * 2. Envelopper chaque bloc de graphiques dans des balises comme ceci :


 * Note:
 * Don't change the word 'mw-edittools-section'
 * The text behind "data-section-title=" will identify this group in the dropdown menu.
 * Make sure there is one group without the ' ' directive: That will be the default choice in the dropdown menu. On this site, it is called 'Standard' while the other groups are named by the language for which the characters are significant.
 * 3. Copiez le contenu de MediaWiki:Gadget-Edittools.js sur une page portant le même nom sur votre propre wiki
 * 4. Ajoutez le code suivant à votre :


 * Edittools[ResourceLoader|default]|Edittools.js

English Wikipedia CharInsert menu
For implementing CharInsert menu like the one used on the English Wikipedia, either export gadgets: Charinsert-core, Charinsert-styles, and Charinsert and then import them on your own wiki through Special:Import or if you want to do it manually, copy the following four interface pages to your wiki:


 * MediaWiki:Gadget-charinsert-core.js (Wikipedia) - Fichier JavaScript principal.
 * MediaWiki:Gadget-charinsert-styles.css (Wikipedia) - Crée des cases autour des symboles/caractères leur donnant l'apparence de boutons.
 * MediaWiki:Gadget-charinsert.js (Wikipedia) - Chargeur 'CharInsert'.
 * MediaWiki:Gadget-charinsert (Wikipedia) - For the text shown in user preferences' gadgets section.

Note: This particular English Wikipedia character set also contains templates, which will need to be defined separately, if they are to be used on your Wiki.
 * In your MediaWiki:Gadgets-definition, add the following definitions:
 * charinsert[ResourceLoader|default|peers=charinsert-styles]|charinsert.js
 * charinsert-core[ResourceLoader|hidden|dependencies=jquery.textSelection,user,mediawiki.storage]|charinsert-core.js
 * charinsert-styles[ResourceLoader|hidden|type=styles]|charinsert-styles.css
 * MediaWiki:Edittools (Wikipedia) - Only for users with JavaScript turned off or unsupported (which disables the WikiEditor extension too), therefore not really necessary or useful either. It only shows symbols/characters as simple text below the editor window, which can then be copy-pasted and thus be of some help to editors. Apparently, it does not get activated in English Wikipedia for disabled JavaScript.

 English Wikipedia Solution checked on: November 6, 2018