MediaWiki:Gadget-CaracteresHTML.js
Note : après avoir publié vos modifications, il se peut que vous deviez forcer le rechargement complet du cache de votre navigateur pour voir les changements.
- Firefox / Safari : maintenez la touche Maj (Shift) en cliquant sur le bouton Actualiser ou appuyez sur Ctrl + F5 ou Ctrl + R (⌘ + R sur un Mac).
- Google Chrome : appuyez sur Ctrl + Maj + R (⌘ + Shift + R sur un Mac).
- Internet Explorer / Edge : maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl + F5.
- Opera : appuyez sur Ctrl + F5.
/**
* HTML
*
* Ajoute les tags et entités HTML courants dans la liste des caractères spéciaux
*
* Auteur : Zelda
* {{Projet:JavaScript/Script|caracteres/HTML}}
*/
if ( [ 'edit', 'submit' ].indexOf( mw.config.get( 'wgAction' ) ) !== -1 ) {
mw.loader.using( 'site', function () {
$( function () {
var specialchars = document.getElementById('specialcharsets');
if (!specialchars) return;
// Ajout des caractères spéciaux. Les liens seront initialisés par initializeCharSubset()
// lors de la sélection
var specialcharsets = document.getElementById('specialcharsets');
var p = document.createElement("p");
p.style.display = "none";
p.title = "HTML";
p.innerHTML = "<span><br/> <code>+</code> <div>+</div> <p>+</p> <pre>+</pre> <q>+</q> <tt>+</tt> <s>+</s> <sub>+</sub> <sup>+</sup> <span>+</span> &nbsp;</span>";
specialcharsets.appendChild(p);
} );
} );
}