「MediaWiki:Mobile.js」の版間の差分
編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
編集の要約なし |
||
1行目: | 1行目: | ||
(function () { | |||
mw.loader | |||
.using(["mobile.mediaViewer"]) | |||
.then(function () { | |||
if (mfModules["mobile.startup"].mediaViewer) return; | |||
mfModules["mobile.startup"].mediaViewer = { | |||
overlay: mw.mobileFrontend.require("mobile.mediaViewer/ImageOverlay") | |||
}; | |||
}); | |||
})(); | |||
(function () { | (function () { | ||
var disableMobileUI = false | var disableMobileUI = false |
2019年8月24日 (土) 09:04時点における版
(function () {
mw.loader
.using(["mobile.mediaViewer"])
.then(function () {
if (mfModules["mobile.startup"].mediaViewer) return;
mfModules["mobile.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);
});
})();