=')) { ini_set('pcre.jit', 0); if(ini_get('pcre.jit') != 0) { echo '
', '

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();