Allow running tidy.php on specific directory

diff --git a/scripts/dev/tidy.php b/scripts/dev/tidy.php
index 7ec9f7902d662ab5acb0f8f7597c30cb9694cb90..967f83bcb3bf3343d06271a367ae640525284a70 100644 (file)
--- 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
 );