Editorial: tidy up PCENChar definition (#1202)

The ranges [#xF8-#x2FF] | [#x300-#x37D] can be merged into a single [#xF8-#x37D]. Fixes #1193.
whatwg · May 9, 2016 · f0f2e2c · f0f2e2c
1 parent f14e210
commit f0f2e2c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/source b/source
@@ -67521,8 +67521,8 @@ console.log(plasticButton2.getAttribute("is")); // will output "plastic-button"<
 
      <dt><code data-x=""><dfn data-x="prod-PCENChar">PCENChar</dfn> ::=</code></dt>
      <dd><code data-x="">"-" | "." | [0-9] | "_" | [a-z] | #xB7 | [#xC0-#xD6] | [#xD8-#xF6] |
-     [#xF8-#x2FF] | [#x300-#x37D] | [#x37F-#x1FFF] | [#x200C-#x200D] | [#x203F-#x2040] |
-     [#x2070-#x218F] | [#x2C00-#x2FEF] | [#x3001-#xD7FF] | [#xF900-#xFDCF] | [#xFDF0-#xFFFD] |
+     [#xF8-#x37D] | [#x37F-#x1FFF] | [#x200C-#x200D] | [#x203F-#x2040] | [#x2070-#x218F] |
+     [#x2C00-#x2FEF] | [#x3001-#xD7FF] | [#xF900-#xFDCF] | [#xFDF0-#xFFFD] |
      [#x10000-#xEFFFF]</code></dd>
     </dl>