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

Remove unused jQuery global alias

Browse source 
Change-Id: Ieeea7b4e5b430def6cef6d8be8a07c932a1d1fa7
This commit is contained in:
Ed Sanders 2018-11-16 16:27:06 +00:00 committed by jenkins-bot
parent eb846c758c
commit 9fd85984a3
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.eslintrc.json
View file

@ -1,10 +1,10 @@
{
"extends": "wikimedia",
"env": {
"browser": true,
"jquery": true
"browser": true
},
"globals": {
"mw": false
"mw": false,
"$": false
}
}