/* EditorSaveAndContinue Gadget - JS Initialisation, Setup, Events. Adds a Save continue button to the editor so the page is not reloaded everytime See detailed documentation in Dev/mediawiki deferrable:YES -- Because it's an augmentation and not needed as a dependency */ (function() { let editorSaveModal = $('' + '
' + '