blob: a396bd87d3ad44df9e7e680130dd562c8a08b93a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
<?php
/* get some globals */
require_once('./libraries/common.lib.php');
/* Theme Select */
$path_to_themes = $cfg['ThemePath'] . '/';
/* set language and charset */
require_once('./libraries/header_http.inc.php');
/* HTML header */
$page_title = 'phpMyAdmin - ' . $strTheme;
require('./libraries/header_meta_style.inc.php');
?>
<script language="JavaScript" type="text/javascript">
// <![CDATA[
function takeThis(what){
if (window.opener && window.opener.document.forms['setTheme'].elements['set_theme']) {
window.opener.document.forms['setTheme'].elements['set_theme'].value = what;
window.opener.document.forms['setTheme'].submit();
self.close();
} else {
alert('<?php echo sprintf($strNoThemeSupport, $cfg['ThemePath']); ?>');
self.close();
}
}
// ]]>
</script>
</head>
<body id="bodythemes">
<h1>phpMyAdmin - <?php echo $strTheme; ?></h1>
<?php
foreach ($available_themes_choices AS $PMA_Theme) {
$screen_directory = $path_to_themes . $PMA_Theme;
// check for theme requires/name
unset($theme_name, $theme_generation, $theme_version);
@include($path_to_themes . $PMA_Theme . '/info.inc.php');
// did it set correctly?
if (!isset($theme_name, $theme_generation, $theme_version))
continue; // invalid theme
if ($theme_generation != PMA_THEME_GENERATION)
continue; // different generation
if ($theme_version < PMA_THEME_VERSION)
continue; // too old version
if (is_dir($screen_directory) && @file_exists($screen_directory.'/screen.png')) {
// if screen exists then output
?>
<h2><?php echo htmlspecialchars( $theme_name ); ?></h2>
<p> <a href="index.php?set_theme=<?php echo $PMA_Theme; ?>&<?php echo PMA_generate_common_url(); ?>"
target="_top"
onclick="takeThis('<?php echo addslashes( $PMA_Theme ); ?>'); return false;">
<img src="<?php echo $screen_directory; ?>/screen.png" border="1"
alt="<?php echo htmlspecialchars( $theme_name ); ?>"
title="<?php echo htmlspecialchars( $theme_name ); ?>" /><br />
[ <b><?php echo $strTakeIt; ?></b> ]</a>
</p>
<?php
} // end 'screen output'
} // end 'open themes'
?>
</body>
</html>
|
