Php execution time logging made easy.