MediaWiki:Gadget-redirect-mobilediff.js
After saving, you may need to bypass your browser's cache to see the changes. For further information, see Wikipedia:Bypass your cache.
- In most Windows and Linux browsers: Hold down Ctrl and press F5.
- In Safari: Hold down ⇧ Shift and click the Reload button.
- In Chrome and Firefox for Mac: Hold down both ⌘ Cmd+⇧ Shift and press R.
/**
* Automatically redirect Special:MobileDiff to Special:Diff for desktop users
*/
;if (mw.config.get('wgCanonicalSpecialPageName') == 'MobileDiff') {
var diff = mw.config.get('wgPageName').replace('Mobile', '');
var wgArticlePath = mw.config.get('wgArticlePath');
window.location.replace(wgArticlePath.replace('$1', diff));
}