Get the value of microtime() directly as float in updateSpecialPages.php

It has a first parameter to directly get the value as float, so use it
instead of doing string manipulation.

Change-Id: Id2dff4486ea4f308ce03fc3d5546660c4e3c26b6
Merge "Get the value of microtime() directly as float in updateSpecialPages.php"