* data/php_stdlib/builtins_network.idl.php: