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

Restore stylelinting

Browse source 
When moving the LESS files to the src folder we disabled this.

Change-Id: I4d3a94c3511a7896777535a5f036c5161c6a8fcd
This commit is contained in:
jdlrobson 2018-05-31 12:56:54 +01:00 committed by Jdlrobson
parent ad647724e5
commit f444c15a2d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Gruntfile.js
View file

@ -56,7 +56,7 @@ module.exports = function ( grunt ) {
syntax: 'less' syntax: 'less'
}, },
all: [ all: [
'resources/ext.popups.main/**/*.less' 'src/**/*.less'
] ]
}, },
watch: { watch: {