Zend_Logで時刻を出力する際に、(log4jとformatを揃えたくなって)"ミリ秒"が欲しくなったんだけど、PHPの場合、素では得られない。実行頻度が非常に高いため、処理性能を気にする。ってことで、 func...
