configuration_files)) { $module_buttons = array( " ". get_lang("edit_configuration_files") ." " ); } else $module_buttons = array(); ?>