* data/php_stdlib/builtins_servicerouter.idl.php: update