Nemcio/adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2026-03-04 11:31:34 +01:00
Code Issues Packages Projects Releases Activity

PHPStan: Fix level 5 errors

Browse Source
This commit is contained in:
Jakub Vrana
2025-03-26 19:29:50 +01:00
parent c78299a3f6
commit c96894ecd4
9 changed files with 34 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -5,7 +5,7 @@ class Plugins extends Adminer {
public $plugins; ///< @var list<object> @visibility protected(set)
/** Register plugins
* @param list<object> object instances or null to autoload plugins from adminer-plugins/
* @param ?list<object> object instances or null to autoload plugins from adminer-plugins/
*/
function __construct($plugins) {
if ($plugins === null) {