Record time taken in your PHP website