mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-13 01:54:00 +02:00
Code Issues Releases Wiki Activity

Doc-comments: Improve array @var

Browse Source
This commit is contained in:
Jakub Vrana
2025-03-25 14:41:26 +01:00
parent 2ee325183b
commit 4d2b5144b1
2 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
adminer/include/adminer.inc.php
View File

@@ -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