* data/php_stdlib/builtins_mysql.idl.php: