Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaurício Meneghini Fauth <mauricio@fauth.dev>2022-09-07 20:20:39 +0300
committerMaurício Meneghini Fauth <mauricio@fauth.dev>2022-09-07 20:20:39 +0300
commite9d742fdb67f069864000deed1b25006c099043d (patch)
tree3573db04eadcb6456184a9f7cd183359d7706869 /libraries/classes
parentec9af1bd65438d2839b6a810bed7ba40c622a9ff (diff)
Add better type description to Index::$registry
Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>
Diffstat (limited to 'libraries/classes')
-rw-r--r--libraries/classes/Index.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/classes/Index.php b/libraries/classes/Index.php
index 691ea919ac..1cc3b0c04c 100644
--- a/libraries/classes/Index.php
+++ b/libraries/classes/Index.php
@@ -24,7 +24,7 @@ class Index
/**
* Class-wide storage container for indexes (caching, singleton)
*
- * @var array
+ * @var array<string, array<string, array<string, Index>>>
*/
private static $registry = [];