Update server_monitor.php

editConfigFiles directory name changed to lower case to be more consistent with other module directory names - and so it may be installed via the Extras page.

modules/gamemanager/server_monitor.php

@@ -433,8 +433,8 @@ function exec_ogp_module() {
 					}
 				}
 
-				if ($db->isModuleInstalled("editConfigFiles") && !empty($server_xml->configuration_files)) {
-					$manager .= "<a href=\"?m=editConfigFiles&home_id=".(int)$server_home['home_id']."\" class=\"monitorbutton\">
+				if ($db->isModuleInstalled("editconfigfiles") && !empty($server_xml->configuration_files)) {
+					$manager .= "<a href=\"?m=editconfigfiles&home_id=".(int)$server_home['home_id']."\" class=\"monitorbutton\">
 									<img src='" . check_theme_image("images/txt.png") . "' title='". edit_configuration_files ."'>
 									<span>". edit_configuration_files ."</span>
 					</a>";
@@ -680,4 +680,4 @@ function exec_ogp_module() {
 	</script>
 	<?php
 }
-?>
+?>