diff --git a/scripts/dev/check_parameters.php b/scripts/dev/check_parameters.php index d08a8b16fb2..f79f868963c 100644 --- a/scripts/dev/check_parameters.php +++ b/scripts/dev/check_parameters.php @@ -333,4 +333,36 @@ function recurse($path) } } -recurse(PHPDIR); +$dirs = array(); + +if (isset($argc) && $argc > 1) { + if ($argv[1] == '-h' || $argv[1] == '-help' || $argv[1] == '--help') { + echo <<