update php_funclist.txt