[web-doc] master: Fix for PHP 8.2 (oops)
| From: | Jim Winstead | Date: | Tue, 22 Oct 2024 19:27:13 +0000 |
| Subject: | [web-doc] master: Fix for PHP 8.2 (oops) | ||
| Groups: | php.doc.web | ||
| Request: | Send a blank email to doc-web+get-2525@lists.php.net to get a copy of this message | ||
Author: Jim Winstead (jimwins)
Date: 2024-10-22T12:23:47-07:00
Commit: https://github.com/php/web-doc/commit/bb0a1150c955f87bbaa60bf520f7ebb7d7ec9dd0
Raw diff: https://github.com/php/web-doc/commit/bb0a1150c955f87bbaa60bf520f7ebb7d7ec9dd0.diff
Fix for PHP 8.2 (oops)
Changed paths:
M scripts/rev.php
Diff:
diff --git a/scripts/rev.php b/scripts/rev.php
index 0c2ace6..acdc831 100644
--- a/scripts/rev.php
+++ b/scripts/rev.php
@@ -34,7 +34,8 @@
function mark_time($time_start, $message)
{
- static $last = $time_start;
+ static $last = null;
+ if (!$last) $last = $time_start;
$now = microtime(true);
$time = $now - $time_start;
$since_last = $now - $last;