「MediaWiki:Mobile.js」の版間の差分
細編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
||
1行目: | 1行目: | ||
(function () { | |||
var wgScript = mw.config.get("wgScript"); | |||
var builderURL = wgScript | |||
+ "?title=MediaWiki:MobileUI.js" | |||
+ "&ctype=text/javascript" | |||
+ "&action=raw"; | |||
builder.build( | |||
var builderThread = mw.loader | |||
.getScript(builderURL) | |||
.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); | |||
}); | |||
})(); |
2019年6月27日 (木) 19:31時点における版
(function () {
var wgScript = mw.config.get("wgScript");
var builderURL = wgScript
+ "?title=MediaWiki:MobileUI.js"
+ "&ctype=text/javascript"
+ "&action=raw";
var builderThread = mw.loader
.getScript(builderURL)
.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);
});
})();