Merge remote branch 'origin/master' into HEAD
[phpmyadmin/dkf.git] / themes.php
blobe6863712c0c99689b0e4458873b81ecb9297f333
1 <?php
2 /* vim: set expandtab sw=4 ts=4 sts=4: */
3 /**
5 * @version $Id$
6 * @package phpMyAdmin
7 */
9 /**
10 * get some globals
12 require_once './libraries/common.inc.php';
14 /* Theme Select */
15 $path_to_themes = $cfg['ThemePath'] . '/';
17 /* set language and charset */
18 require_once './libraries/header_http.inc.php';
20 /* HTML header */
21 $page_title = 'phpMyAdmin - ' . __('Theme / Style');
22 require './libraries/header_meta_style.inc.php';
24 <script type="text/javascript" language="javascript">
25 // <![CDATA[
26 function takeThis(what){
27 if (window.opener && window.opener.document.forms['setTheme'].elements['set_theme']) {
28 window.opener.document.forms['setTheme'].elements['set_theme'].value = what;
29 window.opener.document.forms['setTheme'].submit();
30 self.close();
31 } else {
32 alert('<?php echo sprintf(__('No themes support; please check your configuration and/or your themes in directory %s.'), $cfg['ThemePath']); ?>');
33 self.close();
36 // ]]>
37 </script>
38 </head>
40 <body id="bodythemes">
41 <h1>phpMyAdmin - <?php echo __('Theme / Style'); ?></h1>
42 <p><a href="http://www.phpmyadmin.net/home_page/themes.php#pma_<?php echo preg_replace('/([0-9]*)\.([0-9]*)\..*/', '\1_\2', PMA_VERSION); ?>"><?php echo __('Get more themes!'); ?></a></p>
43 <?php
44 $_SESSION['PMA_Theme_Manager']->printPreviews();
46 </body>
47 </html>