[DOC-WEB] [web-doc] master: Fix for PHP 8.2 (oops)

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;