|This deprecated feature should no longer be used, but is still available for reasons of backwards compatibility. This feature was deprecated in version 1.30.0.|
|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 ( )|
|Removed in version:||still in use|
|Other settings: Alphabetical | By function|
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.