Merge branch 'fix-error-with-php72' into 'develop'

Fixed error and white screen with php7.2.

See merge request 
This commit is contained in:
vgilc 2018-06-05 10:26:10 +02:00
commit ede1a3e091

@ -2434,7 +2434,7 @@ function clear_pandora_error_for_header() {
global $config;
$config["alert_cnt"] = 0;
$_SESSION["alert_msg"] = "";
$_SESSION["alert_msg"] = array();
}
function set_pandora_error_for_header($message, $title = null) {