[web-php] master: redirect php.net/hrtime to function rather than pecl ext (thanks Benjamin)
| From: | Peter Cowburn | Date: | Thu, 11 Aug 2022 10:34:20 +0000 |
| Subject: | [web-php] master: redirect php.net/hrtime to function rather than pecl ext (thanks Benjamin) | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-30482@lists.php.net to get a copy of this message | ||
Author: Peter Cowburn (salathe)
Date: 2022-08-11T11:16:37+01:00
Commit: https://github.com/php/web-php/commit/63f9200695377870e032382ae351e84163270f87
Raw diff: https://github.com/php/web-php/commit/63f9200695377870e032382ae351e84163270f87.diff
redirect php.net/hrtime to function rather than pecl ext (thanks Benjamin)
Changed paths:
M error.php
Diff:
diff --git a/error.php b/error.php
index 01d197678..ce3af870b 100644
--- a/error.php
+++ b/error.php
@@ -330,6 +330,7 @@
"bcmath" => "bc",
'streams' => 'book.stream',
"mongodb" => "set.mongodb",
+ "hrtime" => "function.hrtime", // Prefer function over PECL
ext
"callback" => "language.pseudo-types",
"number" => "language.pseudo-types",