「MediaWiki:Mobile.js」の版間の差分
編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
||
14行目: | 14行目: | ||
}) | }) | ||
.then(function () { | .then(function () { | ||
return new MobileUIBuilder(mw) | |||
.prebuild(); | |||
}); | }); | ||
2019年6月27日 (木) 22:11時点における版
(function () {
var wgScript = mw.config.get("wgScript");
var builderURL = wgScript
+ "?title=MediaWiki:MobileUI.js"
+ "&ctype=text/javascript"
+ "&action=raw";
var builderThread = $
.ajax({
url: builderURL,
dataType: "script",
cache: true
})
.then(function () {
return new MobileUIBuilder(mw)
.prebuild();
});
var dataURL = wgScript
+ "?title=MediaWiki:MobileUI.json"
+ "&ctype=application/json"
+ "&action=raw";
var dataThread = $
.getJSON(dataURL)
.then(Object);
$
.when(builderThread, dataThread)
.done(function (builder, data) {
builder.build(data);
});
})();