setup/index.php

   1 <?php
   2 /**
   3  * Front controller for setup script
   4  *
   5  * @package    phpMyAdmin-setup
   6  * @copyright  Copyright (c) 2008, Piotr Przybylski <piotrprz@gmail.com>
   7  * @license    http://www.gnu.org/licenses/gpl.html GNU GPL 2.0
   8  * @version    $Id$
   9  */
  10
  11 /**
  12  * Core libraries.
  13  */
  14 require './lib/common.inc.php';
  15
  16 $page = filter_input(INPUT_GET, 'page');
  17 $page = preg_replace('/[^a-z]/', '', $page);
  18 if ($page === '') {
  19     $page = 'index';
  20 }
  21 if (!file_exists("./setup/frames/$page.inc.php")) {
  22     // it will happen only when enterung URL by hand, we don't care for these cases
  23     die('Wrong GET file attribute value');
  24 }
  25
  26 // send no-cache headers
  27 require './libraries/header_http.inc.php';
  28 ?>
  29 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  30 <html xmlns="http://www.w3.org/1999/xhtml">
  31 <head>
  32 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
  33 <title>phpMyAdmin <?php echo $GLOBALS['PMA_Config']->get('PMA_VERSION'); ?> setup</title>
  34 <link href="../favicon.ico" rel="icon" type="image/x-icon" />
  35 <link href="../favicon.ico" rel="shortcut icon" type="image/x-icon" />
  36 <link href="styles.css" rel="stylesheet" type="text/css" />
  37 <script type="text/javascript" src="../js/jquery/jquery-1.4.2.js"></script>
  38 <script type="text/javascript" src="../js/jquery/jquery-ui-1.8.custom.js"></script>
  39 <script type="text/javascript" src="../js/jquery/jquery.json-2.2.js"></script>
  40 <script type="text/javascript" src="scripts.js"></script>
  41 </head>
  42 <body>
  43 <h1><span class="blue">php</span><span class="orange">MyAdmin</span> <?php echo $GLOBALS['PMA_Config']->get('PMA_VERSION'); ?> setup</h1>
  44 <div id="menu">
  45 <?php
  46 require './setup/frames/menu.inc.php';
  47 ?>
  48 </div>
  49 <div id="page">
  50 <?php
  51 require "./setup/frames/$page.inc.php";
  52 ?>
  53 </div>
  54 </body>
  55 </html>