gameSupportsWorkshop($server_xml)) { $homeId = (int)$server_home['home_id']; if ($homeId > 0) { $label = get_lang('steam_workshop'); if ($label === 'steam_workshop') { $label = 'Steam Workshop'; } $href = "?m=steam_workshop&p=server_mods&action=edit&home_id=" . $homeId; $module_buttons = array( " " . $label . " " ); } } } ?>