Searched defs:getOption (Results 1 – 1 of 1) sorted by relevance
| /PHP-7.1/scripts/dev/generate-phpt/src/setup/ | ||
| H A D | gtCommandLineOptions.php | 79 public function getOption($option) function in gtCommandLineOptions |
Completed in 7 milliseconds
Searched defs:getOption (Results 1 – 1 of 1) sorted by relevance
| /PHP-7.1/scripts/dev/generate-phpt/src/setup/ | ||
| H A D | gtCommandLineOptions.php | 79 public function getOption($option) function in gtCommandLineOptions |
Completed in 7 milliseconds
