Function to retrieve driver name

Plugins cannot access $drivers global after compilation.

diff --git a/adminer/include/driver.inc.php b/adminer/include/driver.inc.php
index bdee7a8d85eb625c033ad51f9fd7a85256eae85c..8bcb242e5978a8640ec54c2c3324612272a84cbb 100644 (file)
--- a/adminer/include/driver.inc.php
+++ b/adminer/include/driver.inc.php
@@ -11,6 +11,15 @@ function add_driver($id, $name) {
        $drivers[$id] = $name;
 }
 
+/** Get driver name
+* @param string
+* @return string
+*/
+function get_driver($id) {
+       global $drivers;
+       return $drivers[$id];
+}
+
 /*abstract*/ class Min_SQL {
        var $_conn;