Bug: New Setup does not include projeqtor.php

<b>Fatal error</b>: Uncaught Error: Call to undefined function enableCatchErrors() in /var/www/html/tool/file.php:299
Stack trace:
#0 /var/www/html/tool/file.php(322): getStaticFileNameWithCacheMgt('js/dynamicCss.j...')
#1 /var/www/html/index.php(77): echoStaticFileNameWithCacheMgt('view/js/dynamic...')
#2 {main}
thrown in <b>/var/www/html/tool/file.php</b> on line <b>299</b><br />

if (is_file ( "../tool/parametersLocation.php" )) {
include_once '../tool/projeqtor.php';
$theme=getTheme();
if (RequestHandler::isCodeSet('nosso') or (isset($paramNoSSO) and $paramNoSSO===true)) {
SSO::setAvoidSSO();
}
if(isNewGui())$firstColor=Parameter::getUserParameter('newGuiThemeColor');
else $firstColor='545381';
$background=(isNewGui())?'#'.$firstColor.' !important':' #C3C3EB';
$initialisation=false;
} else {
function isNewGui() {
return true;
}
function getTheme() {
return 'ProjeQtOrFlatBlue';
}
function isFF() {
return true;
}
$theme=getTheme();
$background="#545381";
$initialisation=true;
$version=0;
$build=0;
$svnRevision=0;
$firstColor='545381';
$background='#545381 !important';
include_once '../tool/file.php';
}

- enableCatchErrors();
- disableCatchErrors();

tools/projeqtor.php

global $globalCatchErrors;
$globalCatchErrors=true;