Index: wp-admin/themes.php
===================================================================
--- wp-admin/themes.php	(revision 18084)
+++ wp-admin/themes.php	(working copy)
@@ -79,8 +79,10 @@
 	<?php endif;
 else : ?>
 <h2>
-<?php echo esc_html( $title ); ?>
-<?php endif; ?>
+<?php echo esc_html( $title );
+endif;
+if ( isset($_REQUEST['s']) && $_REQUEST['s'] )
+	printf( '<span class="subtitle">' . sprintf( __( 'Search results for &#8220;%s&#8221;' ), wp_html_excerpt( esc_html( stripslashes( $_REQUEST['s'] ) ), 50 ) ) . '</span>' ); ?>
 </h2>
 
 <h3><?php _e('Current Theme'); ?></h3>