MediaWiki:Gadget-NamespacePreload.js

Nota: dopo aver pubblicato, potrebbe essere necessario pulire la cache del proprio browser per vedere i cambiamenti.

Firefox / Safari: tieni premuto il tasto delle maiuscole Shift e fai clic su Ricarica, oppure premi Ctrl-F5 o Ctrl-R (⌘-R su Mac)
Google Chrome: premi Ctrl-Shift-R (⌘-Shift-R su un Mac)
Internet Explorer / Edge: tieni premuto il tasto Ctrl e fai clic su Aggiorna, oppure premi Ctrl-F5
Opera: premi Ctrl-F5.

if (
       location.search.match( /^\?title=Materia:[A-Za-z0-9_!]*&action=edit(&redlink=1)?$/ )
//    || location.search.match( /^\?title=Materia:((\d\d?_)?\w+_)?\d\d\d\d&action=edit(&redlink=1)?$/ )

)

importScript( 'Mediawiki:NamespacePreload.js' );