';
if (strpos($_SERVER["SCRIPT_FILENAME"], "editor.php") !== false) $location = "editor_right";
else if (strpos($_SERVER["SCRIPT_FILENAME"], "controller.php") !== false) $location = "controller_right";
echo '
';
for($i = 0; $i < sizeof($_SESSION["infos"]); $i ++) {
echo '
' . $_SESSION["infos"][$i] . '
';
}
for($i = 0; $i < sizeof($_SESSION["errors"]); $i ++) {
echo '
'. $_SESSION["errors"][$i] . '
';
}
for($i = 0; $i < sizeof($_SESSION["warnings"]); $i ++) {
echo '
' . $_SESSION["warnings"][$i] . '
';
}
?>