mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-04-13 20:32:11 +02:00
Code Issues Releases Wiki Activity

[ticket/15924] Try running stylelint via node_modules

Browse Source 
PHPBB3-15924
This commit is contained in:
Marc Alexander 2019-01-02 17:43:23 +01:00
parent dfe3d13219
commit b74ee356d2
No known key found for this signature in database
GPG Key ID: 50E0D2423696F995
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
travis/check-stylesheet.sh
View File

@ -18,7 +18,7 @@ then
npm install -g > /dev/null
npm install > /dev/null
set -x
stylelint "phpBB/styles/prosilver/theme/*.css"
node_modules/stylelint/bin/stylelint.js "phpBB/styles/prosilver/theme/*.css"
# Disable admin stylelint for now
stylelint "phpBB/adm/style/*.css"
node_modules/stylelint/bin/stylelint.js "phpBB/adm/style/*.css"
fi