Merge "Allow quotes in $wgDebugComments HTML comments"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 15 Sep 2016 21:10:53 +0000 (21:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 15 Sep 2016 21:10:53 +0000 (21:10 +0000)
commita9db740b3ca3d56d33f34ef119bd828a4c1e93c4
tree6ef39ac9efe41de40732a59e32b2b460ca41af26
parent51a3cb089136c06d22f8e05b1bd68d0361ec6ac0
parent3802f088f1a4d99fe8f8cc55c62b9562a4e77ec6
Merge "Allow quotes in $wgDebugComments HTML comments"