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['/'] = '\\\\'; }