Bug #77028 [NEW]: HRTime extension arginfo is wrong in for several functions
| From: | dktapps at pmmp dot io | Date: | Wed, 17 Oct 2018 13:48:06 +0000 |
| Subject: | Bug #77028 [NEW]: HRTime extension arginfo is wrong in for several functions | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-217611@lists.php.net to get a copy of this message | ||
From: dktapps at pmmp dot io
Operating system: *
PHP version: 7.2.11
Package: Unknown/Other Function
Bug Type: Bug
Bug description:HRTime extension arginfo is wrong in for several functions
Description:
------------
I filled "Unknown" in package affected because HRTime extension is not
shown in the PECL list.
The arginfo for several HRTime extension functions are missing. This
issue was noted when generating extension stubs for IDE code completion.
This can be seen by running
php --re hrtime with the HRTime PECL
extension loaded.
The following functions (according to
http://php.net/manual/en/book.hrtime.php)
have arguments, but their
arginfo does not show it:
- HRTime\PerformanceCounter::getTicksSince() has a missing, required
int $since parameter
- HRTime\StopWatch::getElapsedTime() has a missing, optional int $unit
parameter
- HRTime\StopWatch::getLastElapsedTime() has a missing, optional `int
$unit` parameter
Expected result:
----------------
Arginfo in php --re hrtime would include the arguments required by
these functions.
Actual result:
--------------
Arginfo omits the arguments which are documented in the manual.
--
Edit bug report at https://bugs.php.net/bug.php?id=77028&edit=1
--
Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=77028&r=trysnapshot54
Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=77028&r=trysnapshot55
Try a snapshot (trunk): https://bugs.php.net/fix.php?id=77028&r=trysnapshottrunk
Fixed in SVN: https://bugs.php.net/fix.php?id=77028&r=fixed
Fixed in release: https://bugs.php.net/fix.php?id=77028&r=alreadyfixed
Need backtrace: https://bugs.php.net/fix.php?id=77028&r=needtrace
Need Reproduce Script: https://bugs.php.net/fix.php?id=77028&r=needscript
Try newer version: https://bugs.php.net/fix.php?id=77028&r=oldversion
Not developer issue: https://bugs.php.net/fix.php?id=77028&r=support
Expected behavior: https://bugs.php.net/fix.php?id=77028&r=notwrong
Not enough info: https://bugs.php.net/fix.php?id=77028&r=notenoughinfo
Submitted twice: https://bugs.php.net/fix.php?id=77028&r=submittedtwice
register_globals: https://bugs.php.net/fix.php?id=77028&r=globals
PHP 4 support discontinued: https://bugs.php.net/fix.php?id=77028&r=php4
Daylight Savings: https://bugs.php.net/fix.php?id=77028&r=dst
IIS Stability: https://bugs.php.net/fix.php?id=77028&r=isapi
Install GNU Sed: https://bugs.php.net/fix.php?id=77028&r=gnused
Floating point limitations: https://bugs.php.net/fix.php?id=77028&r=float
No Zend Extensions: https://bugs.php.net/fix.php?id=77028&r=nozend
MySQL Configuration Error: https://bugs.php.net/fix.php?id=77028&r=mysqlcfg