From f3bdc163fad857b93d2f1483a7041722f4801d34 Mon Sep 17 00:00:00 2001 From: Davis Date: Wed, 5 Oct 2016 12:46:14 -0500 Subject: [PATCH] $extension was undefined --- src/Extension/ExtensionManager.php | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Extension/ExtensionManager.php b/src/Extension/ExtensionManager.php index 0e008230a..f0e62838c 100644 --- a/src/Extension/ExtensionManager.php +++ b/src/Extension/ExtensionManager.php @@ -113,9 +113,9 @@ class ExtensionManager public function enable($name) { if (! $this->isEnabled($name)) { - $this->dispatcher->fire(new ExtensionWillBeEnabled($extension)); - $extension = $this->getExtension($name); + + $this->dispatcher->fire(new ExtensionWillBeEnabled($extension)); $enabled = $this->getEnabled(); @@ -143,12 +143,12 @@ class ExtensionManager $enabled = $this->getEnabled(); if (($k = array_search($name, $enabled)) !== false) { + $extension = $this->getExtension($name); + $this->dispatcher->fire(new ExtensionWillBeDisabled($extension)); unset($enabled[$k]); - $extension = $this->getExtension($name); - $this->setEnabled($enabled); $extension->setEnabled(false);