wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 23:03:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Configure JSHint to recognize MediaWiki environment globals

Browse source 
Bug: T373068
Change-Id: Ifaa994b4c844ec29aa77182af7159c9bdcdc2441
This commit is contained in:
Siddharth VP 2024-10-20 04:13:48 +05:30
parent d3920f2a1c
commit 1b52f36c7b
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
modules/jquery.codeEditor.js
View file

@ -402,7 +402,8 @@
var mode = session2.getMode().$id; var mode = session2.getMode().$id;
if ( mode === 'ace/mode/javascript' ) { if ( mode === 'ace/mode/javascript' ) {
session2.$worker.send( 'changeOptions', [ { session2.$worker.send( 'changeOptions', [ {
maxerr: 1000 maxerr: 1000,
globals: { mw: true, mediaWiki: true, $: true, jQuery: true, OO: true }
} ] ); } ] );
} }
} ); } );