From: Jakub Vrana <jakub@vrana.cz>
Date: Sun, 13 Apr 2025 06:31:56 +0000 (+0200)
Subject: Handle unloaded driver plugins
X-Git-Tag: v5.3.0~73
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=036ce4f1c5af1171b66bfcb108004166a415fb83;p=adminer.git

Handle unloaded driver plugins
---

diff --git a/adminer/include/driver.inc.php b/adminer/include/driver.inc.php
index dc92f53b..5eea1838 100644
--- 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];
 }