From cb0d554f1a94c146df85821c824b265b3dc3bf5c Mon Sep 17 00:00:00 2001
From: Mark Jaquith <markjaquith@git.wordpress.org>
Date: Thu, 13 Nov 2008 06:09:53 +0000
Subject: [PATCH] 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 | 3 ++-
 wp-admin/turbo.php        | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/wp-admin/admin-header.php b/wp-admin/admin-header.php
index da99d563c8..4c180d279a 100644
--- a/wp-admin/admin-header.php
+++ b/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>
 
diff --git a/wp-admin/turbo.php b/wp-admin/turbo.php
index 2b292fb3f6..f48fa4df81 100644
--- a/wp-admin/turbo.php
+++ b/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.');