From 4a8f6af5e21afc83324184df0b8eb7caaacd41a3 Mon Sep 17 00:00:00 2001
From: Abdul Malik Ikhsan <samsonasik@gmail.com>
Date: Wed, 30 Aug 2023 22:19:02 +0700
Subject: [PATCH] [Performance] Use spl_object_id() when possible

---
 src/Timer/Timers.php | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/Timer/Timers.php b/src/Timer/Timers.php
index 3a33b8ce..53c46d03 100644
--- a/src/Timer/Timers.php
+++ b/src/Timer/Timers.php
@@ -38,7 +38,7 @@ public function getTime()
 
     public function add(TimerInterface $timer)
     {
-        $id = \spl_object_hash($timer);
+        $id = \PHP_VERSION_ID < 70200 ? \spl_object_hash($timer) : \spl_object_id($timer);
         $this->timers[$id] = $timer;
         $this->schedule[$id] = $timer->getInterval() + $this->updateTime();
         $this->sorted = false;
@@ -46,12 +46,13 @@ public function add(TimerInterface $timer)
 
     public function contains(TimerInterface $timer)
     {
-        return isset($this->timers[\spl_object_hash($timer)]);
+        $id = \PHP_VERSION_ID < 70200 ? \spl_object_hash($timer) : \spl_object_id($timer);
+        return isset($this->timers[$id]);
     }
 
     public function cancel(TimerInterface $timer)
     {
-        $id = \spl_object_hash($timer);
+        $id = \PHP_VERSION_ID < 70200 ? \spl_object_hash($timer) : \spl_object_id($timer);
         unset($this->timers[$id], $this->schedule[$id]);
     }