Add type to $size

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

Author: kamil-tekiela

phpstan-baseline.neon

@@ -25,8 +25,3 @@ parameters:
 			count: 2
 			path: src/ShapeRecord.php
 
-		-
-			message: "#^Property PhpMyAdmin\\\\ShapeFile\\\\ShapeRecord\\:\\:\\$size \\(int\\) does not accept mixed\\.$#"
-			count: 1
-			path: src/ShapeRecord.php
-

src/ShapeRecord.php

@@ -48,8 +48,7 @@ class ShapeRecord
     /** @var ShapeFile */
     private $shapeFile = null;
 
-    /** @var int */
-    private $size = 0;
+    private int $size = 0;
 
     private int $read = 0;
 
@@ -205,12 +204,13 @@ private function loadHeaders(): void
         $this->recordNumber = (int) $recordNumber;
 
         // We read the length of the record
-        $this->size = $this->loadData('N', 4);
-        if ($this->size === false) {
+        $size = $this->loadData('N', 4);
+        if ($size === false) {
             return;
         }
 
-        $this->size = ($this->size * 2) + 8;
+        $this->size = ($size * 2) + 8;
+
         $shapeType = $this->loadData('V', 4);
         if ($shapeType === false) {
             return;