Add type to $recordNumber

Signed-off-by: Kamil Tekiela <[email protected]>

Author: kamil-tekiela

phpstan-baseline.neon

@@ -22,22 +22,7 @@ parameters:
 
 		-
 			message: "#^Cannot cast mixed to int\\.$#"
-			count: 1
-			path: src/ShapeRecord.php
-
-		-
-			message: "#^Parameter \\#2 \\$record_number of function dbase_get_record_with_names expects int, int\\|null given\\.$#"
-			count: 1
-			path: src/ShapeRecord.php
-
-		-
-			message: "#^Parameter \\#3 \\$record_number of function dbase_replace_record expects int, int\\|null given\\.$#"
-			count: 1
-			path: src/ShapeRecord.php
-
-		-
-			message: "#^Property PhpMyAdmin\\\\ShapeFile\\\\ShapeRecord\\:\\:\\$recordNumber \\(int\\|null\\) does not accept mixed\\.$#"
-			count: 1
+			count: 2
 			path: src/ShapeRecord.php
 
 		-

src/ShapeRecord.php

@@ -53,8 +53,7 @@ class ShapeRecord
 
     private int $read = 0;
 
-    /** @var int|null */
-    public $recordNumber = null;
+    public int $recordNumber = 0;
 
     public int $shapeType;
 
@@ -198,11 +197,13 @@ private function loadData(string $type, int $count): mixed
     private function loadHeaders(): void
     {
         $this->shapeType = -1;
-        $this->recordNumber = $this->loadData('N', 4);
-        if ($this->recordNumber === false) {
+        $recordNumber = $this->loadData('N', 4);
+        if ($recordNumber === false) {
             return;
         }
 
+        $this->recordNumber = (int) $recordNumber;
+
         // We read the length of the record
         $this->size = $this->loadData('N', 4);
         if ($this->size === false) {