「MediaWiki:Mobile.js」の版間の差分
編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
||
7行目: | 7行目: | ||
+ "&action=raw"; | + "&action=raw"; | ||
var builderThread = | var builderThread = $ | ||
. | .ajax({ | ||
url: builderURL, | |||
dataType: "script", | |||
cache: true | |||
}) | |||
.then(function () { | .then(function () { | ||
var builder = new MobileUIBuilder(mw); | var builder = new MobileUIBuilder(mw); |
2019年6月27日 (木) 20:59時点における版
(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 () {
var builder = new MobileUIBuilder(mw);
return builder;
});
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);
});
})();