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

提供:Vikipedia
編集の要約なし
タグ: モバイル編集 モバイルウェブ編集
編集の要約なし
タグ: モバイル編集 モバイルウェブ編集
 
(同じ利用者による、間の17版が非表示)
1行目: 1行目:
window.___mobileJSLoaded = true;
(function () {
(function () {
    var disableMobileUI = false
        || window.localStorage.getItem("disableMobileUI")
        || window.sessionStorage.getItem("disableMobileUI")
    if (disableMobileUI) {
        return;
    }
     var wgScript = mw.config.get("wgScript");
     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(wgScript + "?title=MediaWiki:MobileUI.json&action=raw&ctype=application/json").then(function (data) { return data; }),
         .done(function (builder, data) {
            $.getScript(wgScript + "?title=MediaWiki:MobileUI.js&action=raw&ctype=text/javascript").then(function () { return null; })
             builder.build(data);
        )
         .done(function (mobileUI) {
            var builder = new MobileUIBuilder(mw);
             builder.build(mobileUI);
         });
         });
})();
})();

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