diff options
Diffstat (limited to 'scripts/dev/tidy.php')
-rw-r--r-- | scripts/dev/tidy.php | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/scripts/dev/tidy.php b/scripts/dev/tidy.php index 107f0c3a8f..cf153ead55 100644 --- a/scripts/dev/tidy.php +++ b/scripts/dev/tidy.php @@ -65,12 +65,11 @@ foreach ($it as $file) { $code = stripTrailingWhitespace($code); $code = reindentToSpaces($code); } else if ($lang === 'phpt') { - // TODO: Don't reformat .phpt on PHP-7.4. - /*$code = transformTestCode($code, function(string $code) { + $code = transformTestCode($code, function(string $code) { $code = stripTrailingWhitespace($code); $code = reindentToSpaces($code); return $code; - });*/ + }); } if ($origCode !== $code) { @@ -137,8 +136,7 @@ function getLanguageFromExtension(string $ext): ?string { case 're': return 'c'; case 'php': - // TODO: Reformat .inc files. - //case 'inc': + case 'inc': return 'php'; case 'phpt': return 'phpt'; |