php/web-doc-editor — pull request #2 by DaveRandom (2013-09-18 11:44:58+00:00)
Title: Improve documentNotUTF8 check in ToolsError for HTML support

Improve documentNotUTF8 check to allow character set declarations in HTML documents.