Add Turbo back to the header. fixes #8185

git-svn-id: https://develop.svn.wordpress.org/trunk@9657 602fd350-edb4-49c9-b593-d223f7449a82

wp-admin/admin-header.php

@@ -75,7 +75,8 @@ if ( function_exists('mb_strlen') ) {
 
 <div id="wphead-info">
 <div id="user_info">
-<p><?php printf(__('Howdy, <a href="%1$s" title="Edit your profile">%2$s</a>'), 'profile.php', $user_identity) ?> |
+<p><?php printf(__('Howdy, <a href="%1$s" title="Edit your profile">%2$s</a>'), 'profile.php', $user_identity) ?>
+<?php if ( ! $is_opera ) { ?> | <span id="gears-menu"><a href="turbo.php"><?php _e('Turbo') ?></a></span><?php } ?> |
 <a href="<?php echo wp_logout_url() ?>" title="<?php _e('Log Out') ?>"><?php _e('Log Out'); ?></a></p>
 </div>
 

wp-admin/turbo.php

@@ -72,7 +72,7 @@ if ( ! $is_opera ) {
 	</div>
 
 	<script type="text/javascript">
-		wpGears.message(1);			
+		wpGears.message(1);
 	</script>
 <?php } else {
 	_e('Turbo is not available for your browser.');