Benchmark running times of PHP code