Merge "Drop remnants of wgHtml5/wgJsMimeType/wgXhtmlDefaultNamespace support, killed...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 15 Jul 2019 20:09:10 +0000 (20:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 15 Jul 2019 20:09:10 +0000 (20:09 +0000)
commit18b9a042dd2cd5245fca0475f7bf853d91558850
tree9e4f04f843b56ba24362405853aaf2b3f5e7e952
parent34bd6f0b6bd0f0af03b448deddb85cdea358e0fb
parenta8d26127ea50a534c96f3f5dc57656687d189f56
Merge "Drop remnants of wgHtml5/wgJsMimeType/wgXhtmlDefaultNamespace support, killed in 1.22"