A simple PHP execution time benchmark