mirrors/PocketMine-MP
1
0
Fork 0
mirror of https://github.com/pmmp/PocketMine-MP.git synced 2025-04-21 08:17:34 +00:00
Code Issues Projects Releases Wiki Activity

PluginDescription: fixed type of extensions (reported by phpstan 0.12.49)

Browse Source
This commit is contained in:
Dylan K. Taylor 2020-10-13 17:20:14 +01:00
parent e6f89213dc
commit 0b33762be0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/pocketmine/plugin/PluginDescription.php
View File

@ -58,7 +58,7 @@ class PluginDescription{
private $compatibleOperatingSystems = [];
/**
* @var string[][]
* @phpstan-var array<string, list<mixed>>
* @phpstan-var array<string, list<string>>
*/
private $extensions = [];
/** @var string[] */