Extract server type detection from main.php and make it available in common.lib.php

1 files changed, 1 insertions, 7 deletions

diff --git a/main.php b/main.php
index 6fbf2979ef..ee203337cb 100644
--- a/main.php
+++ b/main.php
@@ -154,17 +154,11 @@ echo '<div id="main_pane_right">';
 
 
 if ($server > 0 && $GLOBALS['cfg']['ShowServerInfo']) {
-    $server_type = 'MySQL';
-    if (PMA_DRIZZLE) {
-        $server_type = 'Drizzle';
-    } else if (strpos(PMA_MYSQL_STR_VERSION, 'mariadb') !== false) {
-        $server_type = 'MariaDB';
-    }
     echo '<div class="group">';
     echo '<h2>' . __('Database server') . '</h2>';
     echo '<ul>' . "\n";
     PMA_printListItem(__('Server') . ': ' . $server_info, 'li_server_info');
-    PMA_printListItem(__('Server type') . ': ' . $server_type, 'li_server_type');
+    PMA_printListItem(__('Server type') . ': ' . PMA_getServerType(), 'li_server_type');
     PMA_printListItem(__('Server version') . ': ' . PMA_MYSQL_STR_VERSION, 'li_server_version');
     PMA_printListItem(__('Protocol version') . ': ' . PMA_DBI_get_proto_info(),
         'li_mysql_proto');