|This feature was removed completely in version 1.32.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 (Gerrit change 362326; )|
|Removed in version:||1.32.0 (Gerrit change 425582; )|
|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.