'.htmlentities($core_current).'';
}
if (isset($web_commit)) {
$webVersionStr = htmlentities($web_current.' ('.$web_branch.', '.$web_commit.')');
} else {
$webVersionStr = ''.htmlentities($web_current).'';
}
if (isset($FTL_commit)) {
$ftlVersionStr = htmlentities($FTL_current.' ('.$FTL_branch.', '.$FTL_commit.')');
} else {
$ftlVersionStr = ''.htmlentities($FTL_current).'';
}
if ($docker_current) {
$dockerVersionStr = ''.htmlentities($docker_current).'';
} else {
$dockerVersionStr = '';
}