From ad060126ae988ef34ad36b80b0fb79cd35c151dc Mon Sep 17 00:00:00 2001
From: Franz Liedke <franz@develophp.org>
Date: Wed, 16 Sep 2015 08:56:27 +0200
Subject: [PATCH] Small cleanup in extension manager

---
 src/Support/ExtensionManager.php | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/Support/ExtensionManager.php b/src/Support/ExtensionManager.php
index aa44158d0..a09c182fd 100644
--- a/src/Support/ExtensionManager.php
+++ b/src/Support/ExtensionManager.php
@@ -76,9 +76,9 @@ class ExtensionManager
     {
         $this->disable($extension);
 
-        $class = $this->load($extension);
+        $this->load($extension);
 
-        $this->migrate($extension, false);
+        $this->migrateDown($extension);
     }
 
     public function migrate($extension, $up = true)
@@ -96,6 +96,11 @@ class ExtensionManager
         }
     }
 
+    public function migrateDown($extension)
+    {
+        $this->migrate($extension, false);
+    }
+
     public function getMigrator()
     {
         return $this->migrator;