diff options
Diffstat (limited to 'scripts/dev')
-rw-r--r-- | scripts/dev/tidy.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/tidy.php b/scripts/dev/tidy.php index 3829f9092e..7ec9f7902d 100644 --- a/scripts/dev/tidy.php +++ b/scripts/dev/tidy.php @@ -117,7 +117,7 @@ function transformTestCode(string $code, callable $transformer): string { } return preg_replace_callback( - '/(--FILE--)(.+?)(--[A-Z_]+--)/s', + '/(--(?:FILE|SKIPIF|CLEAN)--)(.+?)(--[A-Z_]+--)/s', function(array $matches) use($transformer) { return $matches[1] . $transformer($matches[2]) . $matches[3]; }, |