« MediaWiki:Gadget-ArchiveLinks.js » : différence entre les versions
Contenu supprimé Contenu ajouté
Aucun résumé des modifications |
Je vais éviter de changer le nom du gadget, pour que les utilisateurs ne soient pas obligés de réactiver la nouvelle version. |
||
Ligne 35 :
}
if (mw.config.get('wgNamespaceNumber') === 0 && !mw.user.options.get('gadget-
$(function ($) {
archiveLinks();
|