PHP 8.3: Deep-cloning of readonly properties (part 1)

src/Election.php

@@ -83,7 +83,7 @@ public static function setMaxVoteNumber(
 
     // Mechanics
     protected ElectionState $State = ElectionState::CANDIDATES_REGISTRATION;
-    protected Timer_Manager $timer;
+    protected readonly Timer_Manager $timer;
 
     // Params
     protected bool $ImplicitRanking = true;

src/ElectionProcess/VotesProcess.php

@@ -24,7 +24,7 @@ trait VotesProcess
     /////////// CONSTRUCTOR ///////////
 
     // Data and global options
-    protected VotesManager $Votes; // Votes list
+    protected readonly VotesManager $Votes; // Votes list
     protected int $voteFastMode = 0; // When parsing vote, avoid unnecessary checks
 
 

src/Result.php

@@ -84,7 +84,7 @@ public function count(): int
 
     protected readonly array $Result;
     protected array $ResultIterator;
-    protected $Stats;
+    public readonly mixed $Stats;
     protected array $warning = [];
 
     #[PublicAPI]

src/Timer/Chrono.php

@@ -17,15 +17,15 @@ class Chrono
 {
     use CondorcetVersion;
 
-    protected Manager $manager;
-    protected float $start;
+    protected readonly Manager $manager;
+    public readonly float $start;
     protected ?string $role = null;
 
     public function __construct(Manager $timer, ?string $role = null)
     {
         $this->manager = $timer;
         $this->setRole($role);
-        $this->resetStart();
+        $this->start = microtime(true);
         $this->managerStartDeclare();
     }
 
@@ -44,11 +44,6 @@ public function getTimerManager(): Manager
         return $this->manager;
     }
 
-    protected function resetStart(): void
-    {
-        $this->start = microtime(true);
-    }
-
     public function getRole(): ?string
     {
         return $this->role;