Home
last modified time | relevance | path

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

/PHP-Parser/grammar/
H A DrebuildParsers.php24 $optionKeepTmpGrammar = isset($options['--keep-tmp-grammar']); variable
51 if (!$optionKeepTmpGrammar) {

Completed in 10 milliseconds