MediaWiki:Gadget-disableEditorJs.js

window.loadedEditor = true;