MediaWiki:Gadget-ToolsRedirect-opt-bolds.js

MediaWiki系统消息页面
Zorua Fox（留言 | 贡献）2024年2月24日 (六) 03:30的版本 （Git commit 863a82b: chore: 修正链接）
/**
 * SPDX-License-Identifier: CC-BY-SA-4.0
 * _addText: '{{Gadget Header|license=CC-BY-SA-4.0}}'
 *
 * @source {@link https://github.com/TopRealm/YsArxiv-Gadgets/tree/master/src/ToolsRedirect-opt-bolds}
 * @license CC-BY-SA-4.0 {@link https://youshou.wiki/wiki/H:CC-BY-SA-4.0}
 */
/**
 * +------------------------------------------------------------+
 * |            === WARNING: GLOBAL GADGET FILE ===             |
 * +------------------------------------------------------------+
 * |       All changes should be made in the repository,        |
 * |                otherwise they will be lost.                |
 * +------------------------------------------------------------+
 * |        Changes to this page may affect many users.         |
 * | Please discuss changes by opening an issue before editing. |
 * +------------------------------------------------------------+
 */
/* <nowiki> */

(() => {

"use strict";

// dist/ToolsRedirect-opt-bolds/ToolsRedirect-opt-bolds.js
//! src/ToolsRedirect-opt-bolds/ToolsRedirect-opt-bolds.ts
var import_ext_gadget = require("ext.gadget.Util");
(() => {
  if (mw.user.options.get("gadget-ToolsRedirect")) {
    return;
  }
  const api = (0, import_ext_gadget.initMwApi)("ToolsRedirect-opt-bolds-names/2.0");
  void api.postWithEditToken({
    action: "options",
    format: "json",
    change: "gadget-ToolsRedirect=1"
  });
  void mw.loader.using(["ext.gadget.ToolsRedirect"]);
})();

})();

/* </nowiki> */

//# sourceMappingURL=data:application/json;base64,ewogICJ2ZXJzaW9uIjogMywKICAic291cmNlcyI6IFsic3JjL1Rvb2xzUmVkaXJlY3Qtb3B0LWJvbGRzL1Rvb2xzUmVkaXJlY3Qtb3B0LWJvbGRzLnRzIl0sCiAgInNvdXJjZXNDb250ZW50IjogWyJpbXBvcnQge2luaXRNd0FwaX0gZnJvbSAnZXh0LmdhZGdldC5VdGlsJztcblxuKCgpOiB2b2lkID0+IHtcblx0aWYgKG13LnVzZXIub3B0aW9ucy5nZXQoJ2dhZGdldC1Ub29sc1JlZGlyZWN0JykpIHtcblx0XHRyZXR1cm47XG5cdH1cblxuXHRjb25zdCBhcGkgPSBpbml0TXdBcGkoJ1Rvb2xzUmVkaXJlY3Qtb3B0LWJvbGRzLW5hbWVzLzIuMCcpO1xuXG5cdHZvaWQgYXBpLnBvc3RXaXRoRWRpdFRva2VuKHtcblx0XHRhY3Rpb246ICdvcHRpb25zJyxcblx0XHRmb3JtYXQ6ICdqc29uJyxcblx0XHRjaGFuZ2U6ICdnYWRnZXQtVG9vbHNSZWRpcmVjdD0xJyxcblx0fSk7XG5cblx0dm9pZCBtdy5sb2FkZXIudXNpbmcoWydleHQuZ2FkZ2V0LlRvb2xzUmVkaXJlY3QnXSk7XG59KSgpO1xuIl0sCiAgIm1hcHBpbmdzIjogIjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFBQSxJQUFBQSxvQkFBd0JDLFFBQUEsaUJBQUE7Q0FFdkIsTUFBWTtBQUNaLE1BQUlDLEdBQUdDLEtBQUtDLFFBQVFDLElBQUksc0JBQXNCLEdBQUc7QUFDaEQ7RUFDRDtBQUVBLFFBQU1DLE9BQUEsR0FBTU4sa0JBQUFPLFdBQVUsbUNBQW1DO0FBRXpELE9BQUtELElBQUlFLGtCQUFrQjtJQUMxQkMsUUFBUTtJQUNSQyxRQUFRO0lBQ1JDLFFBQVE7RUFDVCxDQUFDO0FBRUQsT0FBS1QsR0FBR1UsT0FBT0MsTUFBTSxDQUFDLDBCQUEwQixDQUFDO0FBQ2xELEdBQUc7IiwKICAibmFtZXMiOiBbImltcG9ydF9leHRfZ2FkZ2V0IiwgInJlcXVpcmUiLCAibXciLCAidXNlciIsICJvcHRpb25zIiwgImdldCIsICJhcGkiLCAiaW5pdE13QXBpIiwgInBvc3RXaXRoRWRpdFRva2VuIiwgImFjdGlvbiIsICJmb3JtYXQiLCAiY2hhbmdlIiwgImxvYWRlciIsICJ1c2luZyJdCn0K
取自“https://youshou.wiki/index.php?title=MediaWiki:Gadget-ToolsRedirect-opt-bolds.js&oldid=46368”