From fa5ecfc8247f412248838ee3daacc234acbcf238 Mon Sep 17 00:00:00 2001
From: Jamie Cameron <jcameron@webmin.com>
Date: Mon, 24 Jan 2011 11:52:45 -0800
Subject: [PATCH] Don't double-escape tab titles

---
 blue-theme/theme.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/blue-theme/theme.pl b/blue-theme/theme.pl
index 5c5ee1fca..be2cdcea6 100755
--- a/blue-theme/theme.pl
+++ b/blue-theme/theme.pl
@@ -201,8 +201,8 @@ if (!$main::ui_hidden_start_donejs++) {
   }
 
 # Build list of tab titles and names
-my $tabnames = "[".join(",", map { "\"".&html_escape($_->[0])."\"" } @$tabs)."]";
-my $tabtitles = "[".join(",", map { "\"".&html_escape($_->[1])."\"" } @$tabs)."]";
+my $tabnames = "[".join(",", map { "\"".&quote_escape($_->[0])."\"" } @$tabs)."]";
+my $tabtitles = "[".join(",", map { "\"".&quote_escape($_->[1])."\"" } @$tabs)."]";
 $rv .= "<script>\n";
 $rv .= "document.${name}_tabnames = $tabnames;\n";
 $rv .= "document.${name}_tabtitles = $tabtitles;\n";