case-sensitive.patch

   1 --- PHP_CodeSniffer-3.4.0/usr/share/pear/PHP/CodeSniffer/src/Filters/Filter.php~        2018-12-20 00:57:58.000000000 +0100
   2 +++ PHP_CodeSniffer-3.4.0/usr/share/pear/PHP/CodeSniffer/src/Filters/Filter.php 2019-04-08 08:28:26.042280047 +0200
   3 @@ -256,7 +256,7 @@
   4                  $testPath = $path;
   5              }
   6
   7 -            $pattern = '`'.$pattern.'`i';
   8 +            $pattern = '`'.$pattern.'`';
   9              if (preg_match($pattern, $testPath) === 1) {
  10                  return true;
  11              }