Merge "Remove most support for configuring Tidy, including Raggett"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 5 Dec 2018 18:59:50 +0000 (18:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 5 Dec 2018 18:59:50 +0000 (18:59 +0000)
commit9ff8e0a94621ff441ba68f64de76c69a5b9c9319
tree1650e604e7ce1233141745a83cc1cc5eb70ba23a
parent0833cae960f3360c1e2208122ed17dae08e24a90
parent6db35b3c98ee807c71d8187ea45d69999df63b38
Merge "Remove most support for configuring Tidy, including Raggett"
RELEASE-NOTES-1.33
includes/DefaultSettings.php