MCE, Bureaucrates, Vérificateurs d’utilisateurs, Administrateurs d’interface, staff, steward, Masqueurs de modifications, Administrateurs
171 266
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> /!\ | |||
var timer = setInterval(function() { | var timer = setInterval(function() { | ||
if ($('.menu ul:first').length) { | if ($('.menu ul:first').length) { | ||