「MediaWiki:Mobile.js」の版間の差分

提供:Vikipedia
編集の要約なし
タグ: モバイル編集 モバイルウェブ編集
編集の要約なし
タグ: モバイル編集 モバイルウェブ編集
 
(同じ利用者による、間の20版が非表示)
1行目: 1行目:
window.___mobileJSLoaded = true;
(function () {
(function () {
     var config = mw.config.get(["wgServer", "wgScriptPath"]);
     var disableMobileUI = false
     var wikiURL = config.wgServer + config.wgScriptPath;
        || window.localStorage.getItem("disableMobileUI")
        || window.sessionStorage.getItem("disableMobileUI")
    if (disableMobileUI) {
        return;
    }
 
    var wgScript = mw.config.get("wgScript");
 
    var builderURL = wgScript
        + "?"
        + new URLSearchParams({
            title: "MediaWiki:MobileUI.js",
            action: "raw",
            ctype: "text/javascript"
        })
        .toString();
 
     var builderThread = mw.loader
        .getScript(builderURL)
        .then(function () {
            return new MobileUIBuilder(mw)
                .prebuild();
        });
 
    var dataURL = wgScript
        + "?"
        + new URLSearchParams({
            title: "MediaWiki:MobileUI.json",
            action: "raw",
            ctype: "application/json"
        })
        .toString();
 
    var dataThread = $
        .getJSON(dataURL)
        .then(Object);


     $
     $
         .when(
         .when(builderThread, dataThread)
            $.getJSON(wikiURL + "/index.php?title=MediaWiki:MobileUI.json&action=raw&ctype=application/json").then(function (data) { return data }),
         .done(function (builder, data) {
            mw.loader.getScript(wikiURL + "/index.php?title=MediaWiki:MobileUI.js&action=raw&ctype=text/javascript")
             builder.build(data);
        )
         .done(function (json) {
             applyMobileUI($, mw, json);
         });
         });
})();
})();

2020年9月30日 (水) 01:46時点における最新版

window.___mobileJSLoaded = true;

(function () {
    var disableMobileUI = false
        || window.localStorage.getItem("disableMobileUI")
        || window.sessionStorage.getItem("disableMobileUI")
    if (disableMobileUI) {
        return;
    }

    var wgScript = mw.config.get("wgScript");

    var builderURL = wgScript
        + "?"
        + new URLSearchParams({
            title: "MediaWiki:MobileUI.js",
            action: "raw",
            ctype: "text/javascript"
        })
        .toString();

    var builderThread = mw.loader
        .getScript(builderURL)
        .then(function () {
            return new MobileUIBuilder(mw)
                .prebuild();
        });

    var dataURL = wgScript
        + "?"
        + new URLSearchParams({
            title: "MediaWiki:MobileUI.json",
            action: "raw",
            ctype: "application/json"
        })
        .toString();

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

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