Update editConfigFiles.php

lang/English/modules/editConfigFiles.php

@@ -4,7 +4,7 @@ define('configuration_files', "Configuration Files");
 define('editing_file', "Editing File");
 define('no_server_specfied', "No Server ID specified - can't list any configuration files.");
 define('no_home', "You don't have access to the given Server ID.");
-define('no_configs_for_game', "This has has no configuration files defined.");
+define('no_configs_for_game', "This has no configuration files defined.");
 define('name', "Name");
 define('no_description', "No Description");
 define('description', "Description");