Use double quotes instead of singe quotes for HTML attributes
authorFomafix <fomafix@googlemail.com>
Mon, 3 Jul 2017 06:51:10 +0000 (08:51 +0200)
committerKrinkle <krinklemail@gmail.com>
Wed, 26 Jul 2017 22:56:52 +0000 (22:56 +0000)
commit6c30fab96071a68907814e9ba3ce9e9429601c24
tree6bbadc46088169b68d9dceed4a72cde1c69b723f
parent768085387e57b48d9bae2e36da0aacf6117e53be
Use double quotes instead of singe quotes for HTML attributes

htmlspecialchars[1] encodes only double quotes not single quotes.
Therefor the HTML attribute must enclosed with double quotes for
correct output encoding.

[1] https://secure.php.net/manual/en/function.htmlspecialchars.php

Change-Id: I3fec5299585187ed70d62b9248007af34b0db85b
includes/diff/DifferenceEngine.php
includes/logging/BlockLogFormatter.php