From 1f0bf33cfb76d0fb683d6fc473e2869d29d063f9 Mon Sep 17 00:00:00 2001
From: Toby Zerner <toby.zerner@gmail.com>
Date: Wed, 14 Nov 2018 16:28:00 +1030
Subject: [PATCH] Fix extension names not being displayed when running
 migrations

---
 src/Extension/ExtensionManager.php | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/src/Extension/ExtensionManager.php b/src/Extension/ExtensionManager.php
index 4414f3142..3517e821a 100644
--- a/src/Extension/ExtensionManager.php
+++ b/src/Extension/ExtensionManager.php
@@ -270,11 +270,16 @@ class ExtensionManager
      */
     public function getEnabledExtensions()
     {
+        $enabled = [];
         $extensions = $this->getExtensions();
 
-        return array_filter(array_map(function ($id) use ($extensions) {
-            return $extensions[$id] ?? null;
-        }, $this->getEnabled()));
+        foreach ($this->getEnabled() as $id) {
+            if (isset($extensions[$id])) {
+                $enabled[$id] = $extensions[$id];
+            }
+        }
+
+        return $enabled;
     }
 
     /**