Remove unused properties

Signed-off-by: Kamil Tekiela <tekiela246@gmail.com>

psalm-baseline.xml

@@ -4832,8 +4832,6 @@
   </file>
   <file src="src/Database/Routine.php">
     <PossiblyUnusedProperty>
-      <code>$db</code>
-      <code>$definer</code>
       <code>$returns</code>
     </PossiblyUnusedProperty>
   </file>

src/Database/Routine.php

@@ -7,10 +7,8 @@ namespace PhpMyAdmin\Database;
 final class Routine
 {
     public function __construct(
-        public readonly string $db,
         public readonly string $name,
         public readonly string $type,
-        public readonly string $definer,
         public readonly string $returns,
     ) {
     }

src/Database/Routines.php

@@ -1260,15 +1260,9 @@ class Routines
         }
 
         $ret = [];
-        /** @var array{Db:string, Name:string, Type:string, Definer:string, DTD_IDENTIFIER:string|null} $routine */
+        /** @var array{Name:string, Type:string, DTD_IDENTIFIER:string|null} $routine */
         foreach ($routines as $routine) {
-            $ret[] = new Routine(
-                $routine['Db'],
-                $routine['Name'],
-                $routine['Type'],
-                $routine['Definer'],
-                $routine['DTD_IDENTIFIER'] ?? '',
-            );
+            $ret[] = new Routine($routine['Name'], $routine['Type'], $routine['DTD_IDENTIFIER'] ?? '');
         }
 
         // Sort results by name