Merge "Remove $wgExperimentalHtmlIds and related code, deprecated in 1.30"