MediaWiki:Gadget-redirectMobileDiff.js

提供: Minecraft Wiki
ナビゲーションに移動 検索に移動
他言語版

注意: 保存した後、ブラウザのキャッシュをクリアしてページを再読み込みする必要があります。

  • Firefox / Safari: ⇧ Shift を押しながら「再読み込み」をクリックするか、Ctrl + F5 または Ctrl + R を押してください(Macでは ⌘ Cmd + R
  • Google Chrome: Ctrl + ⇧ Shift + R を押してください(Macでは ⌘ Cmd + ⇧ Shift + R
  • Internet Explorer: Ctrl を押しながら「最新の情報に更新」をクリックするか、Ctrl + F5 を押してください
  • Opera: 「ツール → 設定」からキャッシュをクリアしてください。
/* 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);
}