"; ?> phpMyAdmin <?php echo PMA_VERSION; ?>
phpMyAdmin -
' . htmlspecialchars($theme_name) . ''; ?>