* data/php_stdlib/builtins_constants.idl.php: update
* data/php_stdlib/Makefile: remove old files