Declare unused private promoted properties as readonly (PHP 8.1+)

phpdotnet/phd/ErrorHandler.php

@@ -20,7 +20,7 @@ class ErrorHandler
     private bool $recursive = false;
 
     public function __construct(
-        private OutputHandler $outputHandler
+        private readonly OutputHandler $outputHandler
     ) {}
 
     public function handleError($errno, $msg, $file, $line) {

phpdotnet/phd/IndexRepository.php

@@ -11,7 +11,7 @@ class IndexRepository
     private array $examples = [];
 
     public function __construct(
-        private \SQLite3 $db
+        private readonly \SQLite3 $db
     ) {}
 
     public function init(): void {

phpdotnet/phd/Options/Handler.php

@@ -4,9 +4,9 @@
 class Options_Handler implements Options_Interface
 {
     public function __construct(
-        private Config $config,
-        private Format_Factory $formatFactory,
-        private OutputHandler $outputHandler
+        private readonly Config         $config,
+        private readonly Format_Factory $formatFactory,
+        private readonly OutputHandler  $outputHandler
     ) {}
 
     /**

phpdotnet/phd/OutputHandler.php

@@ -24,7 +24,7 @@ class OutputHandler
     ];
 
     public function __construct(
-        private Config $config
+        private readonly Config $config
     ) {}
 
     /**