dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74cba12) | patch
Get the value of microtime() directly as float in updateSpecialPages.php
authorAlexandre Emsenhuber <mediawiki@emsenhuber.ch>
Mon, 20 Oct 2014 17:29:31 +0000 (19:29 +0200)
committerAlexandre Emsenhuber <mediawiki@emsenhuber.ch>
Mon, 20 Oct 2014 17:29:31 +0000 (19:29 +0200)
commit9a99072827d93d70d4140993c49c338661fe5abf
tree5ff20f51e0424c165614c57dda32e90e4131b6e2tree | snapshot
parent74cba12de3372acbb6b09c5743c2011d0219ef11commit | diff
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
maintenance/updateSpecialPages.php diff | blob | history
Wiklou, le Wiki du Wiklou