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

build: Move eslint file list to .eslintignore

Browse source 
Change-Id: Ib7eebf181d3324936bd355aeea540822093d2849
This commit is contained in:
Ed Sanders 2021-03-04 18:09:34 +00:00
parent b7fdecb817
commit f296c6fdd9
2 changed files with 10 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
.eslintignore Normal file
View file

@ -0,0 +1,9 @@
# Upstream code
/modules/lib/
# Build
/vendor/
# Language files written automatically by TranslateWiki
/**/i18n/**/*.json
!/**/i18n/**/{en,qqq}.json

8
Gruntfile.js
View file

@ -12,13 +12,7 @@ module.exports = function ( grunt ) {
cache: true,
fix: grunt.option( 'fix' )
},
all: [
'*.{js,json}',
'modules/**/*.{js,json}',
'tests/**/*.{js,json}',
'i18n/**/{en,qqq}.json',
'!modules/lib/**'
]
all: '.'
},
stylelint: {
all: [