php_restart      1694 htags/php.c        void php_restart  (FILE * input_file )
php_restart      1804 libparser/php.c     void php_restart  (FILE * input_file )