index 92789b2f4f16a6ee80ba277227dc03110d461cac..f50097ec8c81ca59108e7cd5cc5f747edaf566db 100644 (file)
"*** PHP error information ***\n\n");
}
- if (session::is_set('js') && $_SESSION['js']==FALSE){
+ if (session::is_set('js') && session::get('js')==FALSE){
$error_collector= "<div>";
} else {
$error_collector= "