Show execution time from PHP