Content deleted Content added
you can delete userjs global preferences now! |
rm GraphSandbox |
||
Line 2:
'user.options', 'ext.visualEditor.desktopArticleTarget.init'
], function codeEditorAssist() {
let isEdit = mw.config.exists('wgCodeEditorCurrentLanguage') &&
['edit', 'submit'].includes(mw.config.get('wgAction'))
let veAvailable = mw.libs.ve.isVisualAvailable;
let isAf = mw.config.exists('aceConfig');
Line 54 ⟶ 52:
if (!e.data) {
value = JSON.stringify(getSettings(curEditor));
▲ change += '=' + value;
}
mw.loader.using('mediawiki.api').then(() => (
|