From 3802f088f1a4d99fe8f8cc55c62b9562a4e77ec6 Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aschulz@wikimedia.org>
Date: Thu, 15 Sep 2016 12:53:43 -0700
Subject: [PATCH] Allow quotes in $wgDebugComments HTML comments

Change-Id: Id1fbab9ad3d6d645b6efea1d1e66a18ab4fe0b89
---
 includes/debug/MWDebug.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/debug/MWDebug.php b/includes/debug/MWDebug.php
index 8c019d87bb..dde678fc45 100644
--- a/includes/debug/MWDebug.php
+++ b/includes/debug/MWDebug.php
@@ -439,7 +439,7 @@ class MWDebug {
 
 		if ( $wgDebugComments ) {
 			$html .= "<!-- Debug output:\n" .
-				htmlspecialchars( implode( "\n", self::$debug ) ) .
+				htmlspecialchars( implode( "\n", self::$debug ), ENT_NOQUOTES ) .
 				"\n\n-->";
 		}
 
-- 
2.20.1