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