00001 <?php
00002
00003
00004
00011
00012 require_once('./libraries/sanitizing.lib.php');
00013
00014
00015 $lang = isset( $_REQUEST['lang'] ) ? htmlspecialchars($_REQUEST['lang']) : 'en';
00016 $dir = isset( $_REQUEST['dir'] ) ? htmlspecialchars($_REQUEST['dir']) : 'ltr';
00017 $charset = isset( $_REQUEST['charset'] ) ? htmlspecialchars($_REQUEST['charset']) : 'utf-8';
00018 $type = isset( $_REQUEST['type'] ) ? htmlspecialchars($_REQUEST['type']) : 'error';
00019
00020 header('Content-Type: text/html; charset=' . $charset);
00021 ?>
00022 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
00023 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php echo $lang; ?>" dir="<?php echo $dir; ?>">
00024 <head>
00025 <title>phpMyAdmin</title>
00026 <meta http-equiv="Content-Type" content="text/html; charset=<?php echo $charset; ?>" />
00027 <style type="text/css">
00028 <!--
00029 html {
00030 padding: 0;
00031 margin: 0;
00032 }
00033 body {
00034 font-family: sans-serif;
00035 font-size: small;
00036 color: #000000;
00037 background-color: #F5F5F5;
00038 margin: 1em;
00039 }
00040 h1 {
00041 margin: 0;
00042 padding: 0.3em;
00043 font-size: 1.4em;
00044 font-weight: bold;
00045 color: #ffffff;
00046 background-color: #ff0000;
00047 }
00048 p {
00049 margin: 0;
00050 padding: 0.5em;
00051 border: 0.1em solid red;
00052 background-color: #ffeeee;
00053 }
00054
00055 </style>
00056 </head>
00057 <body>
00058 <h1>phpMyAdmin - <?php echo $type; ?></h1>
00059 <p><?php
00060 if (get_magic_quotes_gpc())
00061 echo PMA_sanitize(stripslashes($_REQUEST['error']));
00062 else
00063 echo PMA_sanitize($_REQUEST['error']);
00064 ?></p>
00065 </body>
00066 </html>
1.4.6