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

提供: Vikipedia
ナビゲーションに移動 検索に移動
タグ: モバイル編集モバイルウェブ編集
1行目: 1行目:
 
(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");
  

2019年8月24日 (土) 00:10時点における版

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