Home
last modified time | relevance | path

Searched refs:gtUnknownOptionException (Results 1 – 3 of 3) sorted by relevance

/PHP-7.1/scripts/dev/generate-phpt/src/setup/
H A DgtCommandLineOptions.php53 throw new gtUnknownOptionException('Unrecognised command line option ' . $argv[$i]);
58 throw new gtUnknownOptionException('Unknown option ' . $argv[$i]);
/PHP-7.1/scripts/dev/generate-phpt/src/setup/exceptions/
H A DgtUnknownOptionException.php3 class gtUnknownOptionException extends RuntimeException class
/PHP-7.1/scripts/dev/
H A Dgenerate-phpt.phar10 …ectionException.phpJ�����JJ�������������-���setup/exceptions/gtUnknownOptionException.phpM�����…
214 'gtUnknownOptionException' => 'setup/exceptions/gtUnknownOptionException.php',
466 throw new gtUnknownOptionException('Unrecognised command line option ' . $argv[$i]);
471 throw new gtUnknownOptionException('Unknown option ' . $argv[$i]);
778 class gtUnknownOptionException extends RuntimeException

Completed in 8 milliseconds