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

eslint: Use .eslintignore

Browse source 
Change-Id: I4db921d6d22f367a4c5647080e791ca5c9e6b3ce
This commit is contained in:
Ed Sanders 2022-05-09 13:58:43 +01:00
parent d99e647d2a
commit 46a3b6d5de
3 changed files with 12 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
.eslintignore Normal file
View file

@ -0,0 +1,8 @@
# Build
/vendor/
/docs/
# Language files written automatically by TranslateWiki
/**/i18n/**/*.json
!/**/i18n/**/en.json
!/**/i18n/**/qqq.json

3
.svgo.config.js
View file

@ -4,6 +4,9 @@
* Recommended options from: * Recommended options from:
* https://www.mediawiki.org/wiki/Manual:Coding_conventions/SVG#Exemplified_safe_configuration * https://www.mediawiki.org/wiki/Manual:Coding_conventions/SVG#Exemplified_safe_configuration
*/ */
'use strict';
module.exports = { module.exports = {
plugins: [ plugins: [
{ {

4
Gruntfile.js
View file

@ -15,9 +15,7 @@ module.exports = function ( grunt ) {
fix: grunt.option( 'fix' ) fix: grunt.option( 'fix' )
}, },
all: [ all: [
'**/*.{js,json}', '.'
'!{tests/externals,docs}/**',
'!{vendor,node_modules}/**'
] ]
}, },
// Lint – Styling // Lint – Styling