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

Merge "build: Remove syntax option from stylelint"

Browse source
This commit is contained in:
jenkins-bot 2022-11-09 17:26:18 +00:00 committed by Gerrit Code Review
parent aa140841dc d29dfaf188
commit 0ed04eea34
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Gruntfile.js
View file

@ -14,9 +14,6 @@ module.exports = function ( grunt ) {
all: '.'
},
stylelint: {
options: {
syntax: 'less'
},
all: [
'**/*.{css,less}',
'!vendor/**'