From 7f7cab18907ef9b3513dbd56fbb55b18d474ee8e Mon Sep 17 00:00:00 2001 From: arturm11 Date: Wed, 28 Aug 2024 17:50:20 +0200 Subject: [PATCH] Update Filter.php Fixed bad pattern replacements. Eliminates warnings when used as PHP Sniffer extension in VSCode. --- src/Filters/Filter.php | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Filters/Filter.php b/src/Filters/Filter.php index 8376d15c3b..b84097814d 100644 --- a/src/Filters/Filter.php +++ b/src/Filters/Filter.php @@ -263,6 +263,7 @@ protected function shouldIgnorePath($path) // most developers write, so we need a special case for any system // that is different. if (DIRECTORY_SEPARATOR === '\\') { + $replacements['\\'] = '\\\\'; $replacements['/'] = '\\\\'; }