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

Content deleted Content added
[44e09e9] update types-mediawiki to latest (https://github.com/ChlodAlejandro/deputy/blob/main/CHANGELOG.md#unreleased)
(bot/CD)
Line 3,579:
 
var version = "0.4.2";
var gitAbbrevHash = "44e09e960ad73b";
var gitBranch = "main";
var gitDate = "MonThu, 1518 May 2023 1610:1300:1338 +0800";
var gitVersion = "0.4.2+g44e09e9g60ad73b";
 
/**