diff options
Diffstat (limited to 'scripts/dev')
-rw-r--r-- | scripts/dev/tidy.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/dev/tidy.php b/scripts/dev/tidy.php index 267f838a61..107f0c3a8f 100644 --- a/scripts/dev/tidy.php +++ b/scripts/dev/tidy.php @@ -22,6 +22,9 @@ $excludes = [ 'ext/hash/php_hash_whirlpool_tables.h', 'ext/mbstring/libmbfl/', 'ext/mbstring/unicode_data.h', + 'ext/opcache/jit/dynasm', + 'ext/opcache/jit/libudis86', + 'ext/opcache/jit/vtune', 'ext/pcre/pcre2lib/', 'ext/standard/html_tables/html_table_gen.php', 'ext/xmlrpc/libxmlrpc/', |