summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorNikita Popov <nikita.ppv@gmail.com>2020-11-25 15:54:26 +0100
committerNikita Popov <nikita.ppv@gmail.com>2020-11-25 15:54:26 +0100
commit373fd61a517040f2a5430a0a853db4c5b9fbc6d0 (patch)
tree787f5e0059e03c96f6666ce2c5c037571b41e189 /scripts
parent7a3f25e370aa3be594de0873b8d67ae7ad7a21f6 (diff)
downloadphp-git-373fd61a517040f2a5430a0a853db4c5b9fbc6d0.tar.gz
Allow running tidy.php on specific directory
Diffstat (limited to 'scripts')
-rw-r--r--scripts/dev/tidy.php13
1 files changed, 11 insertions, 2 deletions
diff --git a/scripts/dev/tidy.php b/scripts/dev/tidy.php
index 7ec9f7902d..967f83bcb3 100644
--- a/scripts/dev/tidy.php
+++ b/scripts/dev/tidy.php
@@ -4,9 +4,18 @@ set_error_handler(function($_, $msg) {
throw new Exception($msg);
});
-$rootDir = __DIR__ . '/../..';
+if ($argc > 1) {
+ $dir = $argv[1];
+} else {
+ $dir = __DIR__ . '/../..';
+}
+if (!is_dir($dir)) {
+ echo "Directory $dir does not exist.\n";
+ exit(1);
+}
+
$it = new RecursiveIteratorIterator(
- new RecursiveDirectoryIterator($rootDir),
+ new RecursiveDirectoryIterator($dir),
RecursiveIteratorIterator::LEAVES_ONLY
);