Discussioni MediaWiki:Gadget-AutofocusRicerca.js
Varrà la pena di avere questo accessorio a sé stante? Causa una richiesta in piú per ogni pagina caricata, anche se piccola. Forse si può spostare in MediaWiki:Gadget-site.js, a meno che qualcuno voglia disabilitarlo separatamente nelle proprie preferenze. --Nemo 15:57, 1 mar 2015 (CET)