From 6e78d489ee074fac101635846bbca3b6cf2c008a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Wed, 1 Mar 2017 16:20:14 +0100
Subject: [PATCH] Use unicode for quotes
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

There is no need to use html entities.

Issue #12987

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 libraries/Menu.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libraries/Menu.php b/libraries/Menu.php
index 22f9d76aee..d8e88a7539 100644
--- a/libraries/Menu.php
+++ b/libraries/Menu.php
@@ -272,7 +272,7 @@ class Menu
                     $retval .= '<span class="table_comment"';
                     $retval .= ' id="span_table_comment">';
                     $retval .= sprintf(
-                        __('&ldquo;%s&rdquo;'), htmlspecialchars($show_comment)
+                        __('“%s”'), htmlspecialchars($show_comment)
                     );
                     $retval .= '</span>';
                 } // end if
@@ -291,7 +291,7 @@ class Menu
                         $retval .= '<span class="table_comment"'
                             . ' id="span_table_comment">'
                             . sprintf(
-                                __('&ldquo;%s&rdquo;'),
+                                __('“%s”'),
                                 htmlspecialchars($comment)
                             )
                             . '</span>';