MediaWiki:Gadget-redirect-mobilediff.js

< Gadgets-definition

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));
}