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

Revision as of 05:24, 14 February 2024

Revision as of 05:34, 14 February 2024

Line 351:

var version = "0.6.0";

var gitAbbrevHash = "716629e2f9a325";

var gitBranch = "HEADmain";

var gitDate = "Wed, 14 Feb 2024 13:1328:3211 +0800";

var gitVersion = "0.6.0+g716629eg2f9a325";

/**

Line 13,851:

// page was made, and we need to switch to it.

if (this.core.lastEdited.get() < liveWikiConfig.core.lastEdited) {

if (liveWikiConfig.core.configVersion > this.coreWikiConfiguration.configVersion.get()) {

// Don't update if the config version is higher than ours. We don't want

// to load in the config of a newer version, as it may break things.

Line 13,859:

return;

}

else if (liveWikiConfig.core.configVersion < this.coreWikiConfiguration.configVersion.get()) {

// Version change detected.

// Do nothing... for now.