|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Doc Bug #54784 Missing default parameter value in gettimeofday() prototype
Submitted: 2011-05-17 11:48 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
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If this is not your bug, you can add a comment by following this link.
If this is your bug, but you forgot your password, you can retrieve your password here.
Bug Type:
From: gwarnants at gmail dot com
New email:
PHP Version: OS:


 [2011-05-17 11:48 UTC] gwarnants at gmail dot com
From manual page:

When reading return values details, I can see "By default an array is returned" so I can deduct the default value of optional parameter $return_float is FALSE.


Expected result:
mixed gettimeofday ([ bool $return_float = false] )

Actual result:
mixed gettimeofday ([ bool $return_float ] )


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2011-05-18 00:42 UTC]
Automatic comment from SVN on behalf of salathe
Log: initializer for microtime() and gettimeofday() (doc #54784 #54785)
 [2011-05-18 00:43 UTC]
-Status: Open +Status: Closed -Assigned To: +Assigned To: salathe
 [2011-05-18 00:43 UTC]
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-2023 The PHP Group
All rights reserved.
Last updated: Fri Mar 24 04:03:39 2023 UTC