From 2d31c96a6261625e3371af40c48ff233ecfbb7ee Mon Sep 17 00:00:00 2001 From: Sami M <14945890+jaybabak@users.noreply.github.com> Date: Wed, 16 Aug 2023 16:34:04 -0400 Subject: [PATCH] Update linter.ts, add additional file extensions for Drupal/PHP such .module, .profile and .theme etc. --- phpcs-server/src/linter.ts | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/phpcs-server/src/linter.ts b/phpcs-server/src/linter.ts index 4abf699..6992538 100644 --- a/phpcs-server/src/linter.ts +++ b/phpcs-server/src/linter.ts @@ -132,7 +132,10 @@ export class PhpcsLinter { return []; } } - + + // Check for Drupal and PHP related files. + lintArgs.push('--extensions=inc,install,module,php,profile,theme'); + lintArgs.push(`--error-severity=${settings.errorSeverity}`); let warningSeverity = settings.warningSeverity;