Manual:$wgExperimentalHtmlIds
From MediaWiki.org
Parser: $wgExperimentalHtmlIds | |
---|---|
Should we allow a broader set of characters in id attributes, per HTML5? |
|
Introduced in version: | 1.16.0 (r61691) |
Removed in version: | still in use |
Allowed values: | boolean |
Default value: | false |
Other settings: Alphabetical | By Function
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.