Home
last modified time | relevance | path

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

/PHP-8.1/Zend/
H A Dzend_highlight.c178 int prev_space = 0; in zend_strip() local
183 if (!prev_space) { in zend_strip()
185 prev_space = 1; in zend_strip()
200 prev_space = 1; in zend_strip()
224 prev_space = 0; in zend_strip()

Completed in 4 milliseconds