Merge "Make $wgExperimentalHtmlIds fall back on modern HTML5 mode"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 18 Oct 2017 22:06:06 +0000 (22:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 Oct 2017 22:06:06 +0000 (22:06 +0000)
commit31bc1e9c3546a97220cd7c550c57fad3d4f4304d
treef2d2f19e22c549b73e1351bcba8047a2c7be9e5a
parent0db7f832abef882166b845644cfde7dc343848c0
parent63f17fadda741d74021408d117f625d80475af4f
Merge "Make $wgExperimentalHtmlIds fall back on modern HTML5 mode"