「MediaWiki:Mobile.js」の版間の差分
編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
編集の要約なし |
||
3行目: | 3行目: | ||
var builderURL = wgScript | var builderURL = wgScript | ||
+ "?title | + "?" | ||
+ new URLSearchParams({ | |||
title: "MediaWiki:MobileUI.js", | |||
action: "raw", | |||
ctype: "text/javascript" | |||
}) | |||
.toString(); | |||
var builderThread = | var builderThread = mw.loader | ||
. | .getScript(builderURL) | ||
.then(function () { | .then(function () { | ||
return new MobileUIBuilder(mw) | return new MobileUIBuilder(mw) | ||
19行目: | 19行目: | ||
var dataURL = wgScript | var dataURL = wgScript | ||
+ "?title | + "?" | ||
+ new URLSearchParams({ | |||
title: "MediaWiki:MobileUI.json", | |||
action: "raw", | |||
ctype: "application/json" | |||
}) | |||
.toString(); | |||
var dataThread = $ | var dataThread = $ |
2019年7月16日 (火) 21:54時点における版
(function () {
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);
});
})();