themes.php

   1 <?php
   2 /* get some globals */
   3 require_once('./libraries/common.lib.php');
   4
   5 /* Theme Select */
   6 $path_to_themes = $cfg['ThemePath'] . '/';
   7
   8 /* set language and charset */
   9 require_once('./libraries/header_http.inc.php');
  10
  11 /* HTML header */
  12 $page_title = 'phpMyAdmin - ' . $strTheme;
  13 require('./libraries/header_meta_style.inc.php');
  14 ?>
  15 <script type="text/javascript" language="javascript">
  16 // <![CDATA[
  17 function takeThis(what){
  18     if (window.opener && window.opener.document.forms['setTheme'].elements['set_theme']) {
  19         window.opener.document.forms['setTheme'].elements['set_theme'].value = what;
  20         window.opener.document.forms['setTheme'].submit();
  21         self.close();
  22     } else {
  23         alert('<?php echo sprintf($strNoThemeSupport, $cfg['ThemePath']); ?>');
  24         self.close();
  25     }
  26 }
  27 // ]]>
  28 </script>
  29 </head>
  30
  31 <body id="bodythemes">
  32 <h1>phpMyAdmin - <?php echo $strTheme; ?></h1>
  33 <?php
  34 $_SESSION['PMA_Theme_Manager']->printPreviews();
  35 ?>
  36 </body>
  37 </html>