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

Merge "Replace grunt fix with grunt eslint --fix"

Browse source
This commit is contained in:
jenkins-bot 2020-02-25 17:23:08 +00:00 committed by Gerrit Code Review
parent 2a75aa525b 6de53e8681
commit 7b1276d909
1 changed files with 3 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
Gruntfile.js
View file

@ -28,15 +28,8 @@ module.exports = function ( grunt ) {
]
},
sources: {
src: [
'*.{js,json}',
'src/**/*.{js,json}',
'tests/**/*.{js,json}'
]
},
sourcesfix: {
options: {
fix: true
fix: grunt.option( 'fix' )
},
src: [
'*.{js,json}',
@ -47,7 +40,8 @@ module.exports = function ( grunt ) {
},
stylelint: {
options: {
syntax: 'less'
syntax: 'less',
fix: grunt.option( 'fix' )
},
all: [
'src/**/*.less'
@ -86,7 +80,6 @@ module.exports = function ( grunt ) {
}
} );
grunt.registerTask( 'fix', [ 'eslint:sourcesfix' ] );
grunt.registerTask( 'lint', [ 'eslint', 'stylelint', 'banana', 'eslint:build', 'svgmin' ] );
grunt.registerTask( 'default', [ 'lint' ] );
};