Searched refs:optionKeepTmpGrammar (Results 1 – 1 of 1) sorted by relevance
24 $optionKeepTmpGrammar = isset($options['--keep-tmp-grammar']); variable51 if (!$optionKeepTmpGrammar) {
Completed in 10 milliseconds