A simple PHP based timer supporting nested timings.