Home
last modified time | relevance | path

Searched refs:isShortOption (Results 1 – 2 of 2) sorted by relevance

/PHP-7.0/scripts/dev/generate-phpt/src/setup/
H A DgtCommandLineOptions.php28 protected function isShortOption($arg) function in gtCommandLineOptions
50 if ($this->isShortOption($argv[$i])) {
/PHP-7.0/scripts/dev/
H A Dgenerate-phpt.phar441 protected function isShortOption($arg)
463 if ($this->isShortOption($argv[$i])) {

Completed in 6 milliseconds