Merge "Make $wgExperimentalHtmlIds fall back on modern HTML5 mode"