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

Revision as of 04:33, 28 August 2023

Revision as of 03:13, 31 August 2023

Line 346:

var version = "0.4.2";

var gitAbbrevHash = "7cb48de5207cbb";

var gitBranch = "main";

var gitDate = "MonThu, 2831 Aug 2023 1211:2006:4324 +0800";

var gitVersion = "0.4.2+g7cb48deg5207cbb";

/**

Line 13,194:

*

* @param sourcePage The specific page to load from

* @return A WikiConfiguration object

*/

static load(sourcePage) {

Line 13,207 ⟶ 13,208:

}

/**

* loadsLoads the wiki configuration from localStorage. Thisand/or allows for faster loads atMediaWiki

* settings. This allows for faster loads at the expense of a (small) chance of outdated configuration.

* chance of outdated configuration.

try {*

* The localStorage layer allows fast browser-based caching. If a user

* is logging in again on another device, the user configuration

* will automatically be sent to the client, lessening turnaround time.

* If all else fails, the configuration will be loaded from the wiki.

*

* @return A WikiConfiguration object.

*/

static loadFromLocal() {

return __awaiter(this, void 0, void 0, function* () {

let configPageconfigInfo;

// If `mw.storage.get` returns `false` or `null`, it'll be thrown up.

try {

let rawConfigInfo = // If `mw.storage.get` returns `false` or `null`, it'll be thrown up(WikiConfiguration.optionKey);

// Try to grab configPageit =from JSON.parse(mw.storage.get(WikiConfigurationuser options, if it exists.optionKey));

if (!rawConfigInfo) {

rawConfigInfo = MwApimw.actionuser.saveOptionoptions.get(WikiConfiguration.optionKey, );

}

catchif (etypeof rawConfigInfo === 'string') {

//try Bad local! Switch to non-local.{

console.error('Failed to get Deputy wikiconfigInfo configuration',= eJSON.parse(rawConfigInfo);

}

catch (e) {

// Bad local! Switch to non-local.

console.error('Failed to get Deputy wiki configuration', e);

return this.loadFromWiki();

}

}

else {

console.log('No locally-cached Deputy configuration, pulling from wiki.');

return this.loadFromWiki();

}

if (configPageconfigInfo) {

return new WikiConfiguration(new mw.Title(configPageconfigInfo.title.title, configPageconfigInfo.title.namespace), JSON.parse(configPageconfigInfo.wt), configPageconfigInfo.editable);

}

else {

Line 13,234 ⟶ 13,254:

*

* @param sourcePage The specific page to load from

* @return A WikiConfiguration object

*/

static loadFromWiki(sourcePage) {

Line 13,337 ⟶ 13,358:

// Doesn't need to be from the same config page, since this usually means a new config

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

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

const onSuccess = () => {

var _a;

Line 13,352 ⟶ 13,373:

// that sent the comms message.

if (!sourceConfig) {

MwApi.action.saveOption(WikiConfiguration.optionKey,

// Use `liveWikiConfig`, since this contains the compressed version and is more

// bandwidth-friendly.

const rawConfigInfo = JSON.stringify({

title: fromWiki.title,

editable: fromWiki.editable,

wt: JSON.stringify(liveWikiConfig)

})).then(() => {;

mw.storage.set(WikiConfiguration.optionKey, rawConfigInfo);

yield MwApi.action.saveOption(WikiConfiguration.optionKey, rawConfigInfo).then(() => {

var _a;

if ((_a = window.deputy) === null || _a === void 0 ? void 0 : _a.comms) {

Line 13,393 ⟶ 13,415:

action: 'edit',

title: this.sourcePage.getPrefixedText(),

text: JSONthis.stringifyserialize(this.all, null, '\t')

});

});

Line 13,421 ⟶ 13,443:

/**

* Shows the configuration edit intro banner, if applicable on this page.

*

* @return void

*/

prepareEditBanners() {