A comprehensive profiler for PHP