「MediaWiki:Mobile.js」の版間の差分
細編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
||
| 9行目: | 9行目: | ||
) | ) | ||
.done(function (mobileUI) { | .done(function (mobileUI) { | ||
var builder = new MobileUIBuilder(mw, $); | |||
builder.build(mobileUI); | |||
}); | }); | ||
})(); | })(); | ||
2019年6月25日 (火) 00:33時点における版
(function () {
var config = mw.config.get(["wgServer", "wgScriptPath"]);
var wikiURL = config.wgServer + config.wgScriptPath;
$
.when(
$.getJSON(wikiURL + "/index.php?title=MediaWiki:MobileUI.json&action=raw&ctype=application/json").then(function (data) { return data; }),
$.getScript(wikiURL + "/index.php?title=MediaWiki:MobileUI.js&action=raw&ctype=text/javascript").then(function () { return null; })
)
.done(function (mobileUI) {
var builder = new MobileUIBuilder(mw, $);
builder.build(mobileUI);
});
})();