}
}
if (!$installer->hasErrorMessages()) {
$installer->addMessage("Update {$version} was successfully applied.");
header('Location: index.php');
exit;
}
}
} else {
if (!$installer->hasErrorMessages()) {
$installer->addErrorMessage("The database user does not have the required permissions: " . implode(", ", $update["privileges"]));
}
}
}
$installer->header("CORAL Resources Update {$version}");
$installer->displayMessages();
?>
<h3>Welcome to the CORAL Resources update for Version <?php
echo $version;
?>
!</h3>
<?php
echo $update["description"];
?>
<form action="<?php
echo $_SERVER['PHP_SELF'];
?>
" method="post">
<input type="hidden" name="version" value="<?php
echo $version;
