index 2bd27b0160650e3836e9ed121daa9d61035fb91e..f7b8d075fdd8aff862f382b158bd37e624889b80 100644 (file)
"*** PHP error information ***\n\n");
}
- if (session::global_is_set('js') && session::global_get('js')==FALSE){
+ if (session::is_set('js') && session::get('js')==FALSE){
$error_collector= "<div>";
} else {
$error_collector= "