14 365
modifications
« MediaWiki:Common.js » : différence entre les versions
aucun résumé des modifications
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
/* <nowiki> nowiki pour ne pas interprêter les caractères spéciaux de MediaWiki */ | function DeluxeBar() { | ||
/* <nowiki> nowiki pour ne pas interprêter les caractères spéciaux de MediaWiki */ | |||
if (document.createTextNode) { | if (document.createTextNode) { | ||
var toolbar = document.getElementById("toolbar"); | var toolbar = document.getElementById("toolbar"); | ||