',
'
PHP-Portal Error
',
'
',
'
Sie benutzen die PHP-Version ', phpversion(), ' und es lässt sich der php-ini Wert pcre.jit nicht setzen.
',
'
Bitte wenden Sie sich an Ihren Betreuer.
',
'
';
exit(1);
}
}
define('PHP_PORTAL_PUBLISHER', 'dp');
define('PHP_PORTAL_BASE_PATH', __DIR__);
// associated with config/default.php. You could reference your own config file here
define('CONFIG_NAME', 'default');
\PHPPortal\ErrorHandler::install();
$app = \PHPPortal\Application::getInstance();
$app->run();
\PHPPortal\ErrorHandler::uninstall();