Documentation TYPO3 par Ameos |
00001 <?php 00002 /* get some globals */ 00003 require_once('./libraries/grab_globals.lib.php'); 00004 require_once('./libraries/common.lib.php'); 00005 00006 /* Theme Select */ 00007 $path_to_themes = $cfg['ThemePath'] . '/'; 00008 require_once('./libraries/select_theme.lib.php'); 00009 00010 /* set language and charset */ 00011 require_once('./libraries/header_http.inc.php'); 00012 00013 /* Gets the font sizes to use */ 00014 PMA_setFontSizes(); 00015 /* remove vertical scroll bar bug in ie */ 00016 echo "<?xml version=\"1.0\" encoding=\"" . $GLOBALS['charset'] . "\"?".">"; 00017 ?> 00018 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" 00019 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> 00020 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php echo $GLOBALS['available_languages'][$GLOBALS['lang']][2]; ?>" lang="<?php echo $GLOBALS['available_languages'][$GLOBALS['lang']][2]; ?>" dir="<?php echo $GLOBALS['text_dir']; ?>"> 00021 00022 <head> 00023 <title>phpMyAdmin <?php echo PMA_VERSION; ?></title> 00024 <meta http-equiv="Content-Type" content="text/html; charset=<?php echo $GLOBALS['charset']; ?>" /> 00025 <meta http-equiv="imagetoolbar" content="no"> 00026 <script language="JavaScript" type="text/javascript"> 00027 <!-- 00028 /* added 2004-06-10 by Michael Keck 00029 * we need this for Backwards-Compatibility and resolving problems 00030 * with non DOM browsers, which may have problems with css 2 (like NC 4) 00031 */ 00032 var isDOM = (typeof(document.getElementsByTagName) != 'undefined' 00033 && typeof(document.createElement) != 'undefined') 00034 ? 1 : 0; 00035 var isIE4 = (typeof(document.all) != 'undefined' 00036 && parseInt(navigator.appVersion) >= 4) 00037 ? 1 : 0; 00038 var isNS4 = (typeof(document.layers) != 'undefined') 00039 ? 1 : 0; 00040 var capable = (isDOM || isIE4 || isNS4) 00041 ? 1 : 0; 00042 // Uggly fix for Opera and Konqueror 2.2 that are half DOM compliant 00043 if (capable) { 00044 if (typeof(window.opera) != 'undefined') { 00045 var browserName = ' ' + navigator.userAgent.toLowerCase(); 00046 if ((browserName.indexOf('konqueror 7') == 0)) { 00047 capable = 0; 00048 } 00049 } else if (typeof(navigator.userAgent) != 'undefined') { 00050 var browserName = ' ' + navigator.userAgent.toLowerCase(); 00051 if ((browserName.indexOf('konqueror') > 0) && (browserName.indexOf('konqueror/3') == 0)) { 00052 capable = 0; 00053 } 00054 } // end if... else if... 00055 } // end if 00056 document.writeln('<link rel="stylesheet" type="text/css" href="<?php echo defined('PMA_PATH_TO_BASEDIR') ? PMA_PATH_TO_BASEDIR : './'; ?>css/phpmyadmin.css.php?lang=<?php echo $GLOBALS['available_languages'][$GLOBALS['lang']][2]; ?>&js_frame=right&js_isDOM=' + isDOM + '" />'); 00057 //--> 00058 </script> 00059 <noscript> 00060 <link rel="stylesheet" type="text/css" href="<?php echo defined('PMA_PATH_TO_BASEDIR') ? PMA_PATH_TO_BASEDIR : './'; ?>css/phpmyadmin.css.php?lang=<?php echo $GLOBALS['available_languages'][$GLOBALS['lang']][2]; ?>&js_frame=right" /> 00061 </noscript> 00062 <script language="JavaScript"> 00063 <!-- 00064 function takeThis(what){ 00065 if (window.opener && window.opener.document.forms['setTheme'].elements['set_theme']) { 00066 window.opener.document.forms['setTheme'].elements['set_theme'].value = what; 00067 window.opener.document.forms['setTheme'].submit(); 00068 self.close(); 00069 } else { 00070 alert('<?php echo sprintf($strNoThemeSupport, $cfg['ThemePath']); ?>'); 00071 self.close(); 00072 } 00073 } 00074 //--> 00075 </script> 00076 </head> 00077 00078 <body bgcolor="<?php echo $cfg['RightBgColor']; ?>"> 00079 <table border="0" align="center" cellpadding="3" cellspacing="1"> 00080 <tr> 00081 <th class="tblHeaders"><b>phpMyAdmin - <?php echo $strTheme; ?></b></th> 00082 </tr> 00083 <tr> 00084 <td><img src="<?php echo $GLOBALS['pmaThemeImage'] . 'spacer.png'; ?>" width="1" height="1" border="0" alt="" /></td> 00085 </tr> 00086 <?php 00087 foreach ($available_themes_choices AS $PMA_Theme) { 00088 $screen_directory = $path_to_themes . $PMA_Theme; 00089 00090 // check for theme requires/name 00091 unset($theme_name, $theme_generation, $theme_version); 00092 @include($path_to_themes . $PMA_Theme . '/info.inc.php'); 00093 00094 // did it set correctly? 00095 if (!isset($theme_name, $theme_generation, $theme_version)) 00096 continue; // invalid theme 00097 00098 if ($theme_generation != PMA_THEME_GENERATION) 00099 continue; // different generation 00100 00101 if ($theme_version < PMA_THEME_VERSION) 00102 continue; // too old version 00103 00104 00105 if (is_dir($screen_directory) && @file_exists($screen_directory.'/screen.png')) { // if screen exists then output 00106 ?> 00107 <tr> 00108 <th align="left"> 00109 <?php 00110 echo '<b>' . htmlspecialchars($theme_name) . '</b>'; 00111 ?> 00112 </th> 00113 </tr> 00114 <tr> 00115 <td align="center" bgcolor="<?php echo $cfg['BgcolorOne']; ?>" class="navNorm"> 00116 <script language="JavaScript"> 00117 <!-- 00118 document.write('<a href="#top" onclick="takeThis(\'<?php echo $PMA_Theme; ?>\'); return false;">'); 00119 document.write('<img src="<?php echo $screen_directory; ?>/screen.png" border="1" '); 00120 if (document.getElementById) { 00121 document.write('style="border: 1px solid #000000;" '); 00122 } 00123 document.write('alt="<?php echo htmlspecialchars(addslashes($theme_name)); ?>" '); 00124 document.write('title="<?php echo htmlspecialchars(addslashes($theme_name)); ?>" />'); 00125 document.write('</a><br />'); 00126 document.write('[ <b><a href="#top" onclick="takeThis(\'<?php echo $PMA_Theme; ?>\'); return false;">'); 00127 document.write('<?php echo addslashes($strTakeIt); ?>'); 00128 document.write('</a></b> ]'); 00129 //--> 00130 </script> 00131 <noscript> 00132 <?php 00133 echo '<img src="' . $screen_directory . '/screen.png" border="1" alt="' . htmlspecialchars($theme_name) . ' - Theme" />'; 00134 ?> 00135 </noscript> 00136 </td> 00137 </tr> 00138 <tr> 00139 <td><img src="<?php echo $GLOBALS['pmaThemeImage'] . 'spacer.png'; ?>" width="1" height="1" border="0" alt="" /></td> 00140 </tr> 00141 <?php 00142 } // end 'screen output' 00143 } // end 'open themes' 00144 ?> 00145 </table> 00146 </body> 00147 </html>