if ($Errors_args_Array[$ErrorsArray[$i]]) {
                $GLOBALS['miguel_Error']->_addError($ErrorsArray[$i], $Errors_args_Array[$ErrorsArray[$i]]);
            } else {
                $GLOBALS['miguel_Error']->_addError($ErrorsArray[$i]);
            }
            // 2.2:
        } else {
            $GLOBALS['miguel_Error']->_addError("given error code wasn't recognized");
        }
    }
}
/**
 * include the page header, the title of the page will be "miguel"
 */
//miguelIncludeHeader('miguel');
@(include_once miguel_webDir() . 'miguel/include/miguel_topheader.php');
?>

<table class="mainInterfaceWidth" id="install" cellspacing="0">
        <tr>
                <td class="bgcolor main-info-cell">
                                <?php 
echo $GLOBALS['headerTitle'];
?>
                </td>
        </tr>
        <tr>
                <td class="warncolor">
                <br>
                <?
                /**
 /**
  * @desc     Redirect to the errors page if one or more errors have been held (and if the actual page
  *           isn't already the errors page). If the debug_mode is ON (in miguel/include/config.php,
  *           $GLOBALS['debug_mode'] = TRUE;) then the errors page is included and we're not redirected
  *           so that we can see the warnings/errors occured, where occured, and also what a normal user
  *           would see (the errors page).
  *
  * @author   Eduardo R. Elvira
  * @public
  */
 function showErrors()
 {
     if ($this->hasError() && !strstr(substr($_SERVER["PHP_SELF"], -33), "miguel/messages/error_message.php")) {
         $_SESSION["errors"] = $this->ArrayErrors;
         $_SESSION["errors_args"] = $this->ArrayErrorsArgs;
         if ($GLOBALS['debug_mode'] != TRUE) {
             header("Location: " . $GLOBALS['urlServer'] . "miguel/messages/error_message.php");
         } else {
             include miguel_webDir() . "miguel/messages/error_message.php";
         }
     }
 }