Jump to content

Manual:$wgExperimentalHtmlIds

From mediawiki.org
Output: $wgExperimentalHtmlIds
Should we allow a broader set of characters in id attributes, per HTML5?
Introduced in version:1.16.0 (r61691)
Deprecated in version:1.30.0 (Gerrit change 362326; git #fd6e9ef2)
Removed in version:1.32.0 (Gerrit change 425582; git #Ia15d5ab)
Allowed values:(boolean)
Default value:false

Details

[edit]

Should we allow a broader set of characters in id attributes, per HTML5? If not, use only HTML 4-compatible IDs.

This option is for testing -- when the functionality is ready, it will be on by default with no option.