php__switch_to_buffer 1711 htags/php.c void php__switch_to_buffer (YY_BUFFER_STATE new_buffer ) php__switch_to_buffer 1821 libparser/php.c void php__switch_to_buffer (YY_BUFFER_STATE new_buffer )