diff options
Diffstat (limited to 'dev/lint/html-scripts.js')
| -rw-r--r-- | dev/lint/html-scripts.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/lint/html-scripts.js b/dev/lint/html-scripts.js index 04d5cc84..dec8a3dd 100644 --- a/dev/lint/html-scripts.js +++ b/dev/lint/html-scripts.js @@ -63,7 +63,7 @@ function main() { try { const extDir = path.resolve(__dirname, '..', '..', 'ext'); const pattern = /\.html$/; - const ignorePattern = /[\\/]ext[\\/]mixed[\\/]lib[\\/]/; + const ignorePattern = /[\\/]ext[\\/]lib[\\/]/; const fileNames = getAllFiles(extDir, null, (f) => pattern.test(f) && !ignorePattern.test(f)); for (const fileName of fileNames) { validateHtmlScripts(fileName, extDir); |