From 036ce4f1c5af1171b66bfcb108004166a415fb83 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Sun, 13 Apr 2025 08:31:56 +0200 Subject: [PATCH] Handle unloaded driver plugins --- adminer/include/driver.inc.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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]; } -- 2.39.5