From 37fe28a6da30926fdd129ac3d2aa35233286128d Mon Sep 17 00:00:00 2001
From: Matt Mullenweg <matt@git.wordpress.org>
Date: Fri, 14 May 2004 06:21:24 +0000
Subject: [PATCH] Not highlighting on double update.

git-svn-id: https://develop.svn.wordpress.org/trunk@1272 602fd350-edb4-49c9-b593-d223f7449a82
---
 wp-admin/options-head.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wp-admin/options-head.php b/wp-admin/options-head.php
index c1848efce0..50187cc1aa 100644
--- a/wp-admin/options-head.php
+++ b/wp-admin/options-head.php
@@ -27,7 +27,7 @@ $submenu = '
 	<li><a href="options-permalink.php">' . __('Permalinks') . '</a></li>';
 
 $sublines = split("\n", $submenu);
-$_SERVER['REQUEST_URI'] = str_replace('?updated=true', '', $_SERVER['REQUEST_URI']);
+$_SERVER['REQUEST_URI'] = str_replace(array('?updated=true','&', 'updated=true'), '', $_SERVER['REQUEST_URI']);
 foreach ($sublines as $subline) {
 	if (preg_match('/href="([^"]+)"/', $subline, $url)) {
 		if (substr($_SERVER['REQUEST_URI'], -8) == substr($url[1], -8)) {