MediaWiki:Gadget-redirectMobileDiff.js
Vai alla navigazione
Vai alla ricerca
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.
/* Automatically redirect Special:MobileDiff to Special:Diff for desktop users */
if (mw.config.get('wgCanonicalSpecialPageName') == 'MobileDiff') {
let diffIds = mw.config.get('wgTitle').split('/').slice(1).join('/').replace('...', '/');
let wgArticlePath = mw.config.get('wgArticlePath');
location.pathname = wgArticlePath.replace('$1', 'Special:Diff/' + diffIds);
}