php_push_buffer_state 1860 htags/php.c void php_push_buffer_state (YY_BUFFER_STATE new_buffer ) php_push_buffer_state 1970 libparser/php.c void php_push_buffer_state (YY_BUFFER_STATE new_buffer )