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

← 古い編集

@@ 1行目: / 1行目: @@
-window.importScript("Mediawiki:MobileUI.js");
+window.___mobileJSLoaded = true;
-$
+(function () {
-     .getJSON(mw.config.get("wgScript") + "?title=MediaWiki:MobileUI.json&action=raw&ctype=application/json")
+     var disableMobileUI = false
-     .then(function (mobileUI) {
+        || window.localStorage.getItem("disableMobileUI")
-         var builder = new MobileUIBuilder(mw);
+        || window.sessionStorage.getItem("disableMobileUI")
-         builder.build(mobileUI);
+    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);
+        });
+})();