1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162 |
- <?php
- /* vim: set expandtab sw=4 ts=4 sts=4: */
- /**
- * Formset processing library
- *
- * @package PhpMyAdmin-Setup
- */
- /**
- * Processes forms registered in $form_display, handles error correction
- *
- * @param FormDisplay $form_display
- *
- * @return void
- */
- function process_formset(FormDisplay $form_display)
- {
- if (isset($_GET['mode']) && $_GET['mode'] == 'revert') {
- // revert erroneous fields to their default values
- $form_display->fixErrors();
- // drop post data
- header('HTTP/1.1 303 See Other');
- header('Location: index.php');
- exit;
- }
- if (!$form_display->process(false)) {
- // handle form view and failed POST
- $form_display->display(true, true);
- } else {
- // check for form errors
- if ($form_display->hasErrors()) {
- // form has errors, show warning
- $separator = PMA_get_arg_separator('html');
- $page = isset($_GET['page']) ? $_GET['page'] : null;
- $formset = isset($_GET['formset']) ? $_GET['formset'] : null;
- $formset = $formset ? "{$separator}formset=$formset" : '';
- $id = PMA_isValid($_GET['id'], 'numeric') ? $_GET['id'] : null;
- if ($id === null && $page == 'servers') {
- // we've just added a new server, get it's id
- $id = ConfigFile::getInstance()->getServerCount();
- }
- $id = $id ? "{$separator}id=$id" : '';
- ?>
- <div class="error">
- <h4><?php echo __('Warning') ?></h4>
- <?php echo __('Submitted form contains errors') ?><br />
- <a href="?page=<?php echo $page . $formset . $id . $separator . PMA_generate_common_url() . $separator ?>mode=revert"><?php echo __('Try to revert erroneous fields to their default values') ?></a>
- </div>
- <?php $form_display->displayErrors() ?>
- <a class="btn" href="index.php?<?php echo PMA_generate_common_url() ?>"><?php echo __('Ignore errors') ?></a>
-
- <a class="btn" href="?page=<?php echo $page . $formset . $id . $separator . PMA_generate_common_url() . $separator ?>mode=edit"><?php echo __('Show form') ?></a>
- <?php
- } else {
- // drop post data
- header('HTTP/1.1 303 See Other');
- header('Location: index.php');
- exit;
- }
- }
- }
- ?>
|