Avoid double HTML encoding
authorFomafix <fomafix@googlemail.com>
Mon, 3 Jul 2017 07:13:09 +0000 (09:13 +0200)
committerFomafix <fomafix@googlemail.com>
Mon, 3 Jul 2017 15:55:15 +0000 (17:55 +0200)
commit15fb994130f5819ecbd14446f1c4ba51d71b6419
tree782135036e33f294a3bbb1a028b0c471716e9619
parentffe76f81606b7e9411da2b17d7f506faccbe2517
Avoid double HTML encoding

Html:element() already makes an HTML encoding. The additional
htmlspecialchars is not necessary.

Change-Id: If0530c3d3cb0d3cc61e849a1c84ae0d68c242517
includes/exception/MWExceptionRenderer.php