Handle unloaded driver plugins

diff --git a/adminer/include/driver.inc.php b/adminer/include/driver.inc.php
index dc92f53bfd7380175c09e5a035ef3ce2f69b7ba2..5eea1838f0673259c4cfd2770cbac79a355b6bad 100644 (file)
--- a/adminer/include/driver.inc.php
+++ b/adminer/include/driver.inc.php
@@ -7,7 +7,7 @@ function add_driver(string $id, string $name): void {
 }
 
 /** Get driver name */
-function get_driver(string $id): string {
+function get_driver(string $id): ?string {
        return SqlDriver::$drivers[$id];
 }