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
*/
$(function() {
if (mw.config.get('wgAction') == 'edit' || mw.config.get('wgAction') == 'submit') {
addSpecialCharset("HTML", "<br/> <code>+</code> <div>+</div> <p>+</p> <pre>+</pre> <q>+</q> <tt>+</tt> <s>+</s> <sub>+</sub> <sup>+</sup> <span>+</span> &nbsp;");
}
});