Req #65658 [NEW]: microtime is locale aware and not documented as such.

From: RQuadling at GMail dot com Operating system: n/a PHP version: 5.4.19 Package: Documentation problem Bug Type: Feature/Change Request Bug description:microtime is locale aware and not documented as such. Description: ------------ microtime(true) returns a locale aware string. This isn't documented. Test script: --------------- <?php echo 'No locale loaded : ', microtime(True), PHP_EOL; setlocale(LC_ALL, 'fr_FR.UTF-8'); echo 'France locale loaded : ', microtime(True), PHP_EOL; Expected result: ---------------- No locale loaded : 1378983437.9622 France locale loaded : 1378983437,9626 -- Edit bug report at https://bugs.php.net/bug.php?id=65658&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=65658&r=trysnapshot54 Try a snapshot (PHP 5.3): https://bugs.php.net/fix.php?id=65658&r=trysnapshot53 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=65658&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=65658&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=65658&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=65658&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=65658&r=needscript Try newer version: https://bugs.php.net/fix.php?id=65658&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=65658&r=support Expected behavior: https://bugs.php.net/fix.php?id=65658&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=65658&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=65658&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=65658&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=65658&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=65658&r=dst IIS Stability: https://bugs.php.net/fix.php?id=65658&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=65658&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=65658&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=65658&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=65658&r=mysqlcfg