From 13d1089d3050f717a641c0c46c27a1409079d6da Mon Sep 17 00:00:00 2001 From: PEMapModder Date: Wed, 23 Mar 2016 23:57:02 +0800 Subject: [PATCH] Fixed PluginManager:: type doc --- src/pocketmine/plugin/PluginManager.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pocketmine/plugin/PluginManager.php b/src/pocketmine/plugin/PluginManager.php index eb15baf54..340279bd5 100644 --- a/src/pocketmine/plugin/PluginManager.php +++ b/src/pocketmine/plugin/PluginManager.php @@ -68,7 +68,7 @@ class PluginManager{ protected $defaultPermsOp = []; /** - * @var Permissible[] + * @var Permissible[][] */ protected $permSubs = [];