Versione delle 23:30, 8 ott 2018 Visualizza sorgente Valerio Bozzolan (discussione \| contributi) Utenti autoverificati 12 493 modifiche da MediaWiki:Gadget-markAdmins2.js del 4 ott 2018 alle 09:13; nuova versione basata sulle informazioni presenti nella pagina Utente:ItwikiBot/AdminList e aggiornate automaticamente; vedi WP:Officina del 4 ott 2018 alle 09:27 ← Differenza precedente		Versione delle 00:23, 9 ott 2018 Visualizza sorgente Valerio Bozzolan (discussione \| contributi) Utenti autoverificati 12 493 modifiche m rimosso commento ricorsivo Differenza successiva →
Riga 4: * * This script needs this page: [[Utente:ItwikiBot/AdminList]] * * @see [[MediaWiki:Gadget-markAdmins.js]] */

MediaWiki:Gadget-markAdmins.js: differenze tra le versioni