Merge "Hard-deprecate ContentHandler::makeParserOptions()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 13 Jul 2018 20:00:56 +0000 (20:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 13 Jul 2018 20:00:56 +0000 (20:00 +0000)
commitd3012989672f82dcb51792b9e9fc6bd85124da5a
treec85946b85f68f9223d123f5fd6c89ec6241d5e30
parent94fff62ccc12ed4b37ae72fe760abf9e3b39b954
parent7e7e84a53e12f6093de283219afb0b9f031bc6f9
Merge "Hard-deprecate ContentHandler::makeParserOptions()"