« MediaWiki:Gadget-LiveRC.js » : différence entre les versions
Contenu supprimé Contenu ajouté
optimize LiveRC_NavIsIE() by using a closure |
hide category changes by default: 1) matches behavior before 126654960 2) it's quite verbose 3) current implementation has room for improvement (e.g. about proper filtering) |
||
Ligne 170 :
"RC_minor" : true, // Case "RC (modifications mineurs)"
"RC_new" : true, // Case "RC (nouvelles pages)"
"RC_categorize" :
"RC_external" : false, // Case "RC (edits wikidata)"
"Log" : true, // Case "Journaux"
| |||