diff --git a/util/typo.php b/util/typo.php old mode 100644 new mode 100755 index 522fe41001..1b84181db3 --- a/util/typo.php +++ b/util/typo.php @@ -1,3 +1,4 @@ +#!/usr/bin/env php config, 'php_path')) { $phpath = 'php'; } +echo 'Directory: src' . PHP_EOL; +$Iterator = new RecursiveDirectoryIterator('src'); + +foreach (new RecursiveIteratorIterator($Iterator) as $file) { + if (substr($file, -4) === '.php') { + passthru("$phpath -l $file", $ret); + $ret === 0 or die(); + } +} + echo "Directory: mod\n"; $files = glob('mod/*.php'); foreach ($files as $file) { @@ -53,7 +64,6 @@ foreach ($dirs as $dir) { } } - echo "String files\n"; echo 'util/strings.php' . "\n";