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 21 milliseconds