php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Doc Bug #54785 Missing default parameter value in microtime()
Submitted: 2011-05-17 11:53 UTC Modified: 2011-05-18 00:43 UTC
From: gwarnants at gmail dot com Assigned: salathe (profile)
Status: Closed Package: Documentation problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: gwarnants at gmail dot com
New email:
PHP Version: OS:

 

 [2011-05-17 11:53 UTC] gwarnants at gmail dot com
Description:
------------
---
From manual page: http://www.php.net/function.microtime#Description
---

When reading return values description, I can see "By default, microtime() returns a string" so I can deduct the default value of $get_as_float parameter is FALSE. It could be added in function prototype.

Regards,
Geoffray

Expected result:
----------------
mixed microtime ([ bool $get_as_float = false ] )

Actual result:
--------------
mixed microtime ([ bool $get_as_float ] )

Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2011-05-18 00:42 UTC] salathe@php.net
Automatic comment from SVN on behalf of salathe
Revision: http://svn.php.net/viewvc/?view=revision&revision=311166
Log: initializer for microtime() and gettimeofday() (doc #54784 #54785)
 [2011-05-18 00:43 UTC] salathe@php.net
-Status: Open +Status: Closed -Assigned To: +Assigned To: salathe
 [2011-05-18 00:43 UTC] salathe@php.net
This bug has been fixed in the documentation's XML sources. Since the
online and downloadable versions of the documentation need some time
to get updated, we would like to ask you to be a bit patient.

Thank you for the report, and for helping us make our documentation better.


 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Tue Mar 19 04:01:31 2024 UTC