mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 14:48:08 +02:00
Code Activity

Update Stylelint to the latest version

Browse source 
Trying to update Stylelint to version `15.10.1`, and beyond, broke linting. Looking at the changes the issue appears to be that the `bin/stylelint.js` file was replaced with `bin/stylelint.mjs` instead, which our `gulp lint` runner wasn't able to automatically find; see https://github.com/stylelint/stylelint/compare/15.10.0...15.10.1
This commit is contained in:
Jonas Jenwald 2023-07-22 11:34:14 +02:00
parent 6d783d2722
commit 198f89ffce
3 changed files with 240 additions and 59 deletions
Download patch file Download diff file Expand all files Collapse all files

2
gulpfile.mjs
View file

@ -1962,7 +1962,7 @@ gulp.task("lint", function (done) {
}
const styleLintOptions = [
"node_modules/stylelint/bin/stylelint",
"node_modules/stylelint/bin/stylelint.mjs",
"**/*.css",
"--report-needless-disables",
];