';
}
if (isset($httpHeadXtra) && $httpHeadXtra) {
foreach ($httpHeadXtra as & $thisHttpHead) {
header($thisHttpHead);
}
}
// Get language iso-code for this page - ignore errors
$document_language = api_get_language_isocode();
/*
* HTML HEADER
*/
?>
<?php
if (!empty($nameTools)) {
echo $nameTools.' - ';
}
if (!empty($_course['official_code'])) {
echo $_course['official_code'].' - ';
}
echo api_get_setting('siteName');
?>
>