Editing: ConfigManager.php