「MediaWiki:Mobile.js」の版間の差分

提供:Vikipedia
編集の要約なし
タグ: モバイル編集 モバイルウェブ編集
(内容を「(function () { var config = mw.config.get(["wgServer", "wgScriptPath"]); mw.loader.load(config.wgServer + config.wgScriptPath + "/MobileUI.js"); })();」で置換)
タグ: 置換 モバイル編集 モバイルウェブ編集
1行目: 1行目:
// @ts-check
(function () {
(function () {
     /**
     var config = mw.config.get(["wgServer", "wgScriptPath"]);
    * @typedef {import("jquery")} JQuery
     mw.loader.load(config.wgServer + config.wgScriptPath + "/MobileUI.js");
    */
 
    /**
    * @typedef MobileUIMenuItem
    * @prop {string} title
    * @prop {string} page
    * @prop {string | string[]} [class]
    */
 
    /**
    * @typedef MobileUI
    * @prop {MobileUIMenuItem[]} menu
    */
 
    const config = {
        wgArticleId: Number(),
        wgServer: "",
        wgScriptPath: String(),
    };
 
     Object.assign(config, mw.config.get(Object.keys(config)));
 
    const wikiURL = `${config.wgServer}${config.wgScriptPath}`;
 
    const mobileUIPath = `${wikiURL}/index.php?title=MediaWiki:MobileUI.json&action=raw&ctype=application/json`;
    const response = await window.fetch(mobileUIPath);
 
    /**
    * @type {MobileUI}
    */
    const mobileUI = await response.json();
 
    const menu = $(".menu");
 
    menu.find("ul").first().remove();
 
    if (config.wgArticleId > 1) {
        const hlist = $("<ul>")
            .addClass("hlist")
            .css("word-break", "break-all")
            .prependTo(menu);
 
        const li = $("<li>").appendTo(hlist);
        const dl = $("<dl>").appendTo(li);
 
        $("<dt>")
            .text("ページの短縮URL")
            .css("display", "block")
            .css("padding-left", "1em")
            .appendTo(dl);
 
        const dd = $("<dd>")
            .css("display", "block")
            .appendTo(dl);
 
        const shortURL = `${wikiURL}/?curid=${config.wgArticleId}`;
 
        $("<a>")
            .text(shortURL)
            .attr("href", shortURL)
            .appendTo(dd);
    }
 
    const ul = $("<ul>").prependTo(menu);
 
    for (const menuItem of mobileUI.menu) {
        const li = $("<li>").appendTo(ul);
 
        $("<a>")
            .text(menuItem.title)
            .addClass(["mw-ui-icon", "mw-ui-icon-before"])
            .attr("href", menuItem.page)
            .appendTo(li);
    }
})();
})();

2019年6月23日 (日) 02:15時点における版

(function () {
    var config = mw.config.get(["wgServer", "wgScriptPath"]);
    mw.loader.load(config.wgServer + config.wgScriptPath + "/MobileUI.js");
})();