gtUnknownOptionException   53 scripts/dev/generate-phpt/src/setup/gtCommandLineOptions.php         throw new gtUnknownOptionException('Unrecognised command line option ' . $argv[$i]);
gtUnknownOptionException   58 scripts/dev/generate-phpt/src/setup/gtCommandLineOptions.php         throw new gtUnknownOptionException('Unknown option ' . $argv[$i]);