PHPのmicrotimeの精度によるmt_srandへの影響

PHP5.3以下を使っていて、microtime()を元に乱数を生成している人は注意! オフィシャルサイトのサンプルコード通りだとシードがランダムにな...