Searched refs:gtUnknownOptionException (Results 1 – 3 of 3) sorted by relevance
53 throw new gtUnknownOptionException('Unrecognised command line option ' . $argv[$i]);58 throw new gtUnknownOptionException('Unknown option ' . $argv[$i]);
3 class gtUnknownOptionException extends RuntimeException class
10 …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 14 milliseconds
