phpmyadmin/setup/frames/servers.inc.php

   1 <?php
   2 /* vim: set expandtab sw=4 ts=4 sts=4: */
   3 /**
   4  * Server create and edit view
   5  *
   6  * @package PhpMyAdmin-Setup
   7  */
   8
   9 if (!defined('PHPMYADMIN')) {
  10     exit;
  11 }
  12
  13 /**
  14  * Core libraries.
  15  */
  16 require_once './libraries/config/Form.class.php';
  17 require_once './libraries/config/FormDisplay.class.php';
  18 require_once './setup/lib/form_processing.lib.php';
  19
  20 require './libraries/config/setup.forms.php';
  21
  22 $mode = filter_input(INPUT_GET, 'mode');
  23 $id = filter_input(INPUT_GET, 'id', FILTER_VALIDATE_INT);
  24
  25 $cf = ConfigFile::getInstance();
  26 $server_exists = !empty($id) && $cf->get("Servers/$id") !== null;
  27
  28 if ($mode == 'edit' && $server_exists) {
  29     $page_title = __('Edit server')
  30         . ' ' . $id . ' <small>(' . htmlspecialchars($cf->getServerDSN($id)) . ')</small>';
  31 } elseif ($mode == 'remove' && $server_exists) {
  32     $cf->removeServer($id);
  33     header('Location: index.php');
  34     exit;
  35 } elseif ($mode == 'revert' && $server_exists) {
  36     // handled by process_formset()
  37 } else {
  38     $page_title = __('Add a new server');
  39     $id = 0;
  40 }
  41 if (isset($page_title)) {
  42     echo '<h2>' . $page_title . '</h2>';
  43 }
  44 $form_display = new FormDisplay();
  45 foreach ($forms['Servers'] as $form_name => $form) {
  46     $form_display->registerForm($form_name, $form, $id);
  47 }
  48 process_formset($form_display);
  49 ?>