Ensure that migrations run

php-packages/testing/src/integration/Extension/ExtensionManagerIncludeCurrent.php

@@ -69,6 +69,14 @@ class ExtensionManagerIncludeCurrent extends ExtensionManager
         return $this->extensions;
     }
 
+    /**
+     * Since we enable every time, we always assume it's not enabled.
+     */
+    public function isEnabled($extension)
+    {
+        return false;
+    }
+
     /**
      * In test cases, enabled extensions are determined by the test case, not the database.
      */