scala/scala — pull request #1241 by samskivert (2012-09-03 17:52:48+00:00)
Title: SI-6295: Make DocType take optional ExternalID, as documented.

Deprecates non-optional constructor and adds additional apply method. The
latter allows one to construct DocType("html"), which suffices if one intends
only to support modern web browsers.

Adds a note regarding the incorrect extractor. No mechanism exists to deprecate
or otherwise warn users of the upcoming change which will render use of the
current extractor silently non-functional.