Merge "Hard deprecate codepaths where tidy is disabled"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 13 Nov 2018 23:54:24 +0000 (23:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 13 Nov 2018 23:54:24 +0000 (23:54 +0000)
commit7a3eb1f3a6a33c2358f91f90ff91193c1cfb8d94
treed1dcb5c6226db8a38cc508b7693d41664ee9ac28
parent5466734477584e877187613fa0568dad17ed9c9f
parent54ac31f94d3245e5e1e040a4fe4b3e35c44dbb20
Merge "Hard deprecate codepaths where tidy is disabled"
includes/parser/Parser.php