phpMyAdmin -

<?php echo htmlspecialchars( $theme_name ); ?>
[ ]