From e35bb9e4001eb5a52f8a8988ee79042e959e01d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Johann=20Rodr=C3=ADguez?= Date: Tue, 1 Sep 2015 12:09:11 +0100 Subject: [PATCH] Fix enable extension in EntensionManager --- src/Support/ExtensionManager.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Support/ExtensionManager.php b/src/Support/ExtensionManager.php index 7d8b7ddd9..aa44158d0 100644 --- a/src/Support/ExtensionManager.php +++ b/src/Support/ExtensionManager.php @@ -49,6 +49,8 @@ class ExtensionManager public function enable($extension) { if (! $this->isEnabled($extension)) { + $enabled = $this->getEnabled(); + $enabled[] = $extension; $class = $this->load($extension);