diff options
Diffstat (limited to 'lib/plugins/engine/PluginManager.php')
| -rw-r--r-- | lib/plugins/engine/PluginManager.php | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/lib/plugins/engine/PluginManager.php b/lib/plugins/engine/PluginManager.php index 6177e00..4bcb96b 100644 --- a/lib/plugins/engine/PluginManager.php +++ b/lib/plugins/engine/PluginManager.php @@ -53,8 +53,16 @@ class PluginManager /** * Comparison function used to order plugins by position. */ - private static function positionCompare ($plugin1, $plugin2) + private static function positionCompare (array $plugin1, array $plugin2): int { + if ($plugin1['core'] && !$plugin2['core']) { + return -1; + } + + if (!$plugin1['core'] && $plugin2['core']) { + return 1; + } + return $plugin1['position'] - $plugin2['position']; } |