diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-02-03 13:46:42 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-02-03 22:52:04 +0100 |
commit | d2cb200e10ada6fa44c54a29292bb4665728fff0 (patch) | |
tree | 18d6ae6134f6bad535b3f4230d1c08582a9d0b44 /scripts/dev/tidy.php | |
parent | 9942f45b7a3dfb183ccc3b403f179b9cbd1d5299 (diff) | |
download | php-git-d2cb200e10ada6fa44c54a29292bb4665728fff0.tar.gz |
Enable formatting of phpt files in tidy.php
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'; |