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

Content deleted Content added
(bot/CD)
(bot/CD)
Line 351:
 
var version = "0.5.1";
var gitAbbrevHash = "548da874da1b58";
var gitBranch = "HEADmain";
var gitDate = "Thu, 21 Dec 2023 14:3159:4700 +0800";
var gitVersion = "0.5.1+g548da87g4da1b58";
 
/**
Line 4,721:
window.deputy.session.init();
});
casePage.normalizeSectionHeading(firstHeading).insertAdjacentElement('beforebegin', unwrapWidget(messageBox));
}
});
Line 4,740:
mw.loader.using(['oojs-ui-core', 'oojs-ui.styles.icons-content'], () => {
const lastActiveSection = DeputyRootSession.findFirstLastActiveSection(casePage);
const firstSection = casePage.normalizeSectionHeading(casePage.findFirstContributionSurveyHeading());
// Insert element directly into widget (not as text, or else event
// handlers will be destroyed).
Line 4,807:
closable: true
});
casePage.normalizeSectionHeading(firstHeading).insertAdjacentElement('beforebegin', unwrapWidget(messageBox));
window.deputy.comms.addEventListener('sessionClosed', () => __awaiter(this, void 0, void 0, function* () {
removeElement(unwrapWidget(messageBox));