MediaWiki:Gadget-FixDomainName.js

注意：在保存以后，您必须绕过浏览器缓存才能看到所作出的改变。

• 谷歌浏览器（Google Chrome）- Windows：按下“Ctrl”键然后按 F5。OS X系统：同时按⌘ Cmd和⇧ Shift键之后按R键。
• Safari - 按住⇧ Shift键然后点击工具栏中重新载入键。
• 火狐（Firefox）- Windows：按住Ctrl键然后按F5。OS X系统：同时按⌘ Cmd和⇧ Shift键之后按R键。
• Internet Explorer：按住Ctrl键然后按F5（或者点击“刷新”按钮）。

---

!(function (){
  var url = new URL(location.href)
  var serverName = mw.config.get('wgServerName')
  if (url.hostname !== serverName) {
    console.info('Redirect to ' + serverName)
    url.hostname = serverName
    location.href = url.href
  }
})()