* lang_php/analyze/foundation/builtins_php.ml: fix
* data/php_stdlib/builtins_socket.idl.php: null_resource
* commons/lib-json/modif-orig.txt: misc
* commons/lib-json/netconversion2.ml: use prerr_string
* lang_php/analyze/foundation/builtins_php.ml: use pr, not pr2