diff options
Diffstat (limited to 'themes.php')
-rw-r--r-- | themes.php | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/themes.php b/themes.php index 732f1e3082..166333466c 100644 --- a/themes.php +++ b/themes.php @@ -19,22 +19,8 @@ require './libraries/header_http.inc.php'; /* HTML header */ $page_title = 'phpMyAdmin - ' . __('Theme'); require './libraries/header_meta_style.inc.php'; +require './libraries/header_scripts.inc.php'; ?> -<script type="text/javascript" language="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(__('No themes support; please check your configuration and/or your themes in directory %s.'), $cfg['ThemePath']); ?>'); - self.close(); - } -} -// ]]> -</script> </head> <body id="bodythemes"> |