PHP记录代码执行时间

注：microtime() 如果带个 true 参数, 返回的将是一个浮点类型. 

这样 t1 和 t2 得到的就是两个浮点数, 相减之后得到之间的差. 由于浮点的位数很长, 或者说不确定, 所以再用个 round() 取出小数点后 3 位.