A dependency graph generator for PHP