MediaWiki:Gadget-Smart patrol

Smart patrol : ajoute un onglet (dans le menu Plus sous Vector) permettant de marquer comme patrouillées toutes les éditions d'une page (vérifiables sur un seul diff).