* data/php_stdlib/: stuff for codegraph mostly