error.php

   1 <?php
   2 /* $Id$ */
   3 // vim: expandtab sw=4 ts=4 sts=4:
   4
   5 /**
   6  *
   7  * phpMyAdmin fatal error display page
   8  *
   9  */
  10
  11 /* Input sanitizing */
  12 require_once('./libraries/sanitizing.lib.php');
  13
  14 /* Get variables */
  15 $lang    = isset( $_REQUEST['lang'] ) ?     htmlspecialchars($_REQUEST['lang'])     : 'en';
  16 $dir     = isset( $_REQUEST['dir']  ) ?     htmlspecialchars($_REQUEST['dir'])      : 'ltr';
  17 $charset = isset( $_REQUEST['charset'] ) ?  htmlspecialchars($_REQUEST['charset'])  : 'utf-8';
  18 $type    = isset( $_REQUEST['type'] ) ?     htmlspecialchars($_REQUEST['type'])     : 'error';
  19
  20 header('Content-Type: text/html; charset=' . $charset);
  21 ?>
  22 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
  23 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php echo $lang; ?>" dir="<?php echo $dir; ?>">
  24 <head>
  25     <link rel="icon" href="./favicon.ico" type="image/x-icon" />
  26     <link rel="shortcut icon" href="./favicon.ico" type="image/x-icon" />
  27     <title>phpMyAdmin</title>
  28     <meta http-equiv="Content-Type" content="text/html; charset=<?php echo $charset; ?>" />
  29     <style type="text/css">
  30     <!--
  31     html {
  32         padding: 0;
  33         margin: 0;
  34     }
  35     body  {
  36         font-family: sans-serif;
  37         font-size: small;
  38         color: #000000;
  39         background-color: #F5F5F5;
  40         margin: 1em;
  41     }
  42     h1 {
  43         margin: 0;
  44         padding: 0.3em;
  45         font-size: 1.4em;
  46         font-weight: bold;
  47         color: #ffffff;
  48         background-color: #ff0000;
  49     }
  50     p {
  51         margin: 0;
  52         padding: 0.5em;
  53         border: 0.1em solid red;
  54         background-color: #ffeeee;
  55     }
  56     //-->
  57     </style>
  58 </head>
  59 <body>
  60 <h1>phpMyAdmin - <?php echo $type; ?></h1>
  61 <p><?php
  62 if (get_magic_quotes_gpc()) {
  63     echo PMA_sanitize(stripslashes($_REQUEST['error']));
  64 } else {
  65     echo PMA_sanitize($_REQUEST['error']);
  66 }
  67 ?></p>
  68 </body>
  69 </html>