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

Merge "eslint: Use .eslintignore"

Browse source
This commit is contained in:
jenkins-bot 2022-05-11 11:26:36 +00:00 committed by Gerrit Code Review
parent b21fb63348 46a3b6d5de
commit 0037984895
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:
* https://www.mediawiki.org/wiki/Manual:Coding_conventions/SVG#Exemplified_safe_configuration
*/
'use strict';
module.exports = {
plugins: [
{

4
Gruntfile.js
View file

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