User:Jacky720/global.js

window.ajaxRefresh = 30000; /*if (mw.config.wgNamespaceNumber == -1) { alert('test'); document.head.innerHTML += " li {font-family: monospace;} "; }*/

var configuration = { dev: { editSummaries: { select: [ "(click to browse)", "1. Standardization", ["Standardization", "Standardization: Formatting", "Standardization: Linking", "Standardization: Language", "Standardization: Formalisation", "Standardization: Structuring", "Standardization: Source Standards"], "2. Housekeeping", ["Housekeeping", "Updating Links", "Updating Images", "Updating Information", "Rewording or Restructuring Sentences"], "3. Content", ["Expand content", "Add trivia", "Create page", "Revise article"], "4. Fixing", ["Fix dead links", "Fix image links", "Fix templates", "Fix categories", "Fix infoboxes", "Fix typos"], "5. Removal", ["Revert vandalism", "Remove inaccurate information", "Remove unconfirmed information", "Remove MoS violations", "Remove policy violations", "Remove dead images", "Remove unnoteworthy information"], "6. Personal/misc", ["...", "Add file name."] ]}}};

//Oh, that explains the issue. Object.assign(window, configuration);

importArticles({    type: 'script',     articles: [         'u:dev:MediaWiki:AvatarLink.js',         'u:dev:MediaWiki:MobileEditor.js',         'u:dev:MediaWiki:QuickDiff/code.js',         'u:dev:MediaWiki:QuickLogs/code.js',         'u:dev:MediaWiki:RevealAnonIP/usercode.js',         'u:dev:MediaWiki:Standard_Edit_Summary/code.js'     ] });