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 use PMA\libraries\config\ConfigFile;
  10 use PMA\libraries\config\FormDisplay;
  11
  12 if (!defined('PHPMYADMIN')) {
  13     exit;
  14 }
  15
  16 /**
  17  * Core libraries.
  18  */
  19 require_once './setup/lib/form_processing.lib.php';
  20
  21 require './libraries/config/setup.forms.php';
  22
  23 $mode = isset($_GET['mode']) ? $_GET['mode'] : null;
  24 $id = PMA_isValid($_GET['id'], 'numeric') ? intval($_GET['id']) : null;
  25
  26 /** @var ConfigFile $cf */
  27 $cf = $GLOBALS['ConfigFile'];
  28 $server_exists = !empty($id) && $cf->get("Servers/$id") !== null;
  29
  30 if ($mode == 'edit' && $server_exists) {
  31     $page_title = __('Edit server')
  32         . ' ' . $id
  33         . ' <small>(' . htmlspecialchars($cf->getServerDSN($id)) . ')</small>';
  34 } elseif ($mode == 'remove' && $server_exists) {
  35     $cf->removeServer($id);
  36     header('Location: index.php' . PMA_URL_getCommon());
  37     exit;
  38 } elseif ($mode == 'revert' && $server_exists) {
  39     // handled by process_formset()
  40 } else {
  41     $page_title = __('Add a new server');
  42     $id = 0;
  43 }
  44 if (isset($page_title)) {
  45     echo '<h2>' , $page_title . '</h2>';
  46 }
  47 $form_display = new FormDisplay($cf);
  48 foreach ($forms['Servers'] as $form_name => $form) {
  49     $form_display->registerForm($form_name, $form, $id);
  50 }
  51 PMA_Process_formset($form_display);