From 4d2b5144b158caf6b08d2d446c387a6ecd43d54d Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Tue, 25 Mar 2025 14:41:26 +0100
Subject: [PATCH] Doc-comments: Improve array @var

---
 adminer/include/adminer.inc.php |  2 +-
 adminer/include/driver.inc.php  | 14 +++++++-------
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php
index 35331a97..4c5923be 100644
--- a/adminer/include/adminer.inc.php
+++ b/adminer/include/adminer.inc.php
@@ -4,7 +4,7 @@ namespace Adminer;
 // any method change in this file should be transferred to editor/include/adminer.inc.php and plugins/plugin.php
 
 class Adminer {
-	public $operators; ///< @var array operators used in select, null for all operators
+	public $operators; ///< @var list<string> operators used in select, null for all operators
 	public $error = ''; ///< @var protected(set) string HTML
 
 	/** Name in title and navigation
diff --git a/adminer/include/driver.inc.php b/adminer/include/driver.inc.php
index 539a28ca..5b99ac75 100644
--- a/adminer/include/driver.inc.php
+++ b/adminer/include/driver.inc.php
@@ -23,20 +23,20 @@ function get_driver($id) {
 }
 
 abstract class SqlDriver {
-	static $possibleDrivers = array(); ///< @var array of strings
+	static $possibleDrivers = array(); ///< @var list<string>
 	static $jush; ///< @var string JUSH identifier
 
 	protected $conn; ///< @var Db
-	protected $types = array(); ///< @var array [$description => [$type => $maximum_unsigned_length, ...], ...]
+	protected $types = array(); ///< @var int[][] [$group => [$type => $maximum_unsigned_length, ...], ...]
 	public $editFunctions = array(); ///< @var array of ["$type|$type2" => "$function/$function2"] functions used in editing, [0] - edit and insert, [1] - edit only
-	public $unsigned = array(); ///< @var array number variants
-	public $operators = array(); ///< @var array operators used in select
-	public $functions = array(); ///< @var array functions used in select
-	public $grouping = array(); ///< @var array grouping functions used in select
+	public $unsigned = array(); ///< @var list<string> number variants
+	public $operators = array(); ///< @var list<string> operators used in select
+	public $functions = array(); ///< @var list<string> functions used in select
+	public $grouping = array(); ///< @var list<string> grouping functions used in select
 	public $onActions = "RESTRICT|NO ACTION|CASCADE|SET NULL|SET DEFAULT"; ///< @var string used in foreign_keys()
 	public $inout = "IN|OUT|INOUT"; ///< @var string used in routines
 	public $enumLength = "'(?:''|[^'\\\\]|\\\\.)*'"; ///< @var string regular expression for parsing enum lengths
-	public $generated = array(); ///< @var array allowed types of generated columns
+	public $generated = array(); ///< @var list<string> allowed types of generated columns
 
 	/** Create object for performing database operations
 	* @param Db