User:Chlod/Scripts/Deputy.js: Difference between revisions

Revision as of 02:23, 1 September 2023

Revision as of 16:01, 1 September 2023

Line 346:

var version = "0.4.2";

var gitAbbrevHash = "e81fcbb8a2c9f8";

var gitBranch = "main";

var gitDate = "Fri, 1 Sep 2023 1011:1308:1643 +0800";

var gitVersion = "0.4.2+ge81fcbbg8a2c9f8";

/**

Line 363:

ajax: {

headers: {

'Api-User-Agent': `Deputy/${version} (https://w.wiki/5k$q7NWR; User:Chlod; [e-mail])`

}

},

Line 384:

}

}

MwApi.USER_AGENT = `Deputy/${version} (https://w.wiki/5k$q7NWR; User:Chlod; [e-mail])`;

/**

Line 12,689:

h_1("div", null, mw.msg('deputy.description')))),

h_1("div", null,

h_1("a", { href: "https://w.wiki/5k$q7NWR", target: "_blank" }, unwrapWidget(new OO.ui.ButtonWidget({

label: mw.msg('deputy.about.homepage'),

flags: ['progressive']

Line 12,697:

flags: ['progressive']

}))),

h_1("a", { href: "https://w.wiki/5k$p7NWS", target: "_blank" }, unwrapWidget(new OO.ui.ButtonWidget({

label: mw.msg('deputy.about.contact'),

flags: ['progressive']

Line 13,418:

// Update last edited number

this.core.lastEdited.set(Date.now());

yield MwApi.action.postWithEditToken(Object.assign(Object.assign({}, changeTag(yield window.deputy.getWikiConfig())), { action: 'edit', title: this.sourcePage.getPrefixedText(), text: JSON.stringify(this.serialize()) }));

});

}