「MediaWiki:Mobile.js」の版間の差分
編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
細編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
||
1行目: | 1行目: | ||
(function () { | (function () { | ||
mw.loader | mw.loader | ||
.using([ | .using([ | ||
11行目: | 8行目: | ||
var startup = mw.mobileFrontend.require("mobile.startup"); | var startup = mw.mobileFrontend.require("mobile.startup"); | ||
if (startup.mediaViewer) { | if (startup.mediaViewer) { | ||
console.info(" | console.info("'mediaViewer.overlay' polyfill is no longer needed."); | ||
return; | return; | ||
} | } | ||
startup.mediaViewer = { | startup.mediaViewer = { | ||
overlay: | overlay: mw.mobileFrontend.require("mobile.mediaViewer/ImageOverlay") | ||
}; | }; | ||
}); | }); |
2019年8月27日 (火) 01:17時点における版
(function () {
mw.loader
.using([
"mobile.startup",
"mobile.mediaViewer"
])
.then(function () {
var startup = mw.mobileFrontend.require("mobile.startup");
if (startup.mediaViewer) {
console.info("'mediaViewer.overlay' polyfill is no longer needed.");
return;
}
startup.mediaViewer = {
overlay: mw.mobileFrontend.require("mobile.mediaViewer/ImageOverlay")
};
});
})();
(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);
});
})();