Merge branch 'php/7.0'

2025-04-20 16:00:20 +00:00 · 2017-09-04 19:42:03 +01:00 · 2017-09-04 19:42:03 +01:00 · c9ee206fe6
commit c9ee206fe6
parent 6877ac35eb d065e76a41
1 changed files with 2 additions and 1 deletions
--- a/src/pocketmine/plugin/PluginManager.php
+++ b/src/pocketmine/plugin/PluginManager.php
@ -306,7 +306,8 @@ class PluginManager{
 									$name,
 									$this->server->getLanguage()->translateString("%pocketmine.plugin.unknownDependency", [$dependency])
 								]));
-								break;
+								unset($plugins[$name]);
+								continue 2;
 							}
 						}