Gadget:ReplaceUsername.js:修订间差异

大小无更改 、​ 2022年11月9日 (星期三)
// Edit via Wikiplus
(// Edit via Wikiplus)
第1行: 第1行:
(function () {
(function () {
     console.log(`MediaWiki用户名替换脚本运行中
     console.log("MediaWiki用户名替换脚本运行中
///////////////////////////////////////////////////////
///////////////////////////////////////////////////////
// 许可证 License                                    //
// 许可证 License                                    //
第10行: 第10行:
// 若协议冲突或不接受以上额外条款,你可以选择不搬运    //
// 若协议冲突或不接受以上额外条款,你可以选择不搬运    //
///////////////////////////////////////////////////////
///////////////////////////////////////////////////////
     `)
     ")
     /**改名表 */
     /**改名表 */
     let map = [
     let map = [
维护员、​界面管理员、​巡查员、​监督员、​小部件编辑者
3,469

个编辑