php_get_leng 709 htags/php.c int php_get_leng (void ); php_get_leng 847 libparser/php.c int php_get_leng (void );