MediaWiki:Mobile.js

提供:Vikipedia
2019年6月27日 (木) 22:11時点における𩸽 (トーク | 投稿記録)による版

注意: 保存後、変更を確認するにはブラウザーのキャッシュを消去する必要がある場合があります。

  • Firefox / Safari: Shift を押しながら 再読み込み をクリックするか、Ctrl-F5 または Ctrl-R を押してください (Mac では ⌘-R)
  • Google Chrome: Ctrl-Shift-R を押してください (Mac では ⌘-Shift-R)
  • Internet Explore/Edger: Ctrl を押しながら 最新の情報に更新 をクリックするか、Ctrl-F5 を押してください
  • Opera: Ctrl-F5を押してください
(function () {
    var wgScript = mw.config.get("wgScript");

    var builderURL = wgScript
        + "?title=MediaWiki:MobileUI.js"
        + "&ctype=text/javascript"
        + "&action=raw";

    var builderThread = $
        .ajax({
            url: builderURL,
            dataType: "script",
            cache: true
        })
        .then(function () {
            return new MobileUIBuilder(mw)
                .prebuild();
        });

    var dataURL = wgScript
        + "?title=MediaWiki:MobileUI.json"
        + "&ctype=application/json"
        + "&action=raw";

    var dataThread = $
        .getJSON(dataURL)
        .then(Object);

    $
        .when(builderThread, dataThread)
        .done(function (builder, data) {
            builder.build(data);
        });
})();