Adding db manager configuration option.

main/admin/index.php

@@ -7,6 +7,7 @@
 /**
  * Code
  */
+
 // Language files that need to be included.
 $language_file = array('admin', 'tracking','coursebackup');
 
@@ -228,9 +229,20 @@ if (api_is_platform_admin()) {
 		$items[] = array('url'=>'filler.php', 	'label' => get_lang('DataFiller'));
 	}
 	$items[] = array('url'=>'archive_cleanup.php', 	'label' => get_lang('ArchiveDirCleanup'));
-        if (api_get_setting('server_type') === 'test') {
+    if (api_get_setting('server_type') === 'test') {
-            $items[] = array('url'=>'system_management.php', 'label' => get_lang('SystemManagement'));
+        $items[] = array('url'=>'system_management.php', 'label' => get_lang('SystemManagement'));
-        }
+    }
+
+    if (isset($_configuration['db_manager_enabled']) &&
+        $_configuration['db_manager_enabled'] == true &&
+        api_is_global_platform_admin()
+    ) {
+        $host = $_configuration['db_host'];
+        $username = $_configuration['db_user'];
+        $databaseName = $_configuration['main_database'];
+
+        $items[] = array('url'=>"db.php?username=$username&db=$databaseName&server=$host", 'label' => get_lang('Database Manager'));
+    }
 
 	$blocks['settings']['items'] = $items;
     $blocks['settings']['extra'] = null;

main/install/configuration.dist.php

@@ -55,6 +55,8 @@ $_configuration['statistics_database']   ='{DATABASE_STATS}';
 // User Personal Database (where all the personal stuff of the user is stored
 // (personal agenda items, course sorting)
 $_configuration['user_personal_database']='{DATABASE_PERSONAL}';
+// Enable access to database management for platform admins.
+$_configuration['db_manager_enabled'] = false;
 
 /**
  * Directory settings