Merge "Xml.php: Do not escape double quotes in $contents of Xml::element()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 29 May 2018 19:26:33 +0000 (19:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 29 May 2018 19:26:33 +0000 (19:26 +0000)
commit9a987e3c4465e1c5848041a7a533a08b25bb80f0
tree6ef331f2eab119f4e88077378b8f6db4b488ae85
parente19e52c8e046e98f926936853fda023bf47b67f1
parent37789ebf45abf838db838bb773f4458084fda09d
Merge "Xml.php: Do not escape double quotes in $contents of Xml::element()"