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