On Tue, Sep 17, 2013 at 5:08 PM, Yannick Torrès <yannick.tor...@gmail.com> wrote:
> I just push a patch for this : Great, thanks :-) On a related note, can you review https://github.com/php/web-doc-editor/pull/2 ? This has come about because I just reverted an invalid edit on en/make_chm_index.html and it is now showing up as a documentNotUTF8 error, because the current check only looks for <?xml encoding="utf-8"?>. As it happens the patch wouldn't pass this particular file because its <meta> tag is wrong as well, but I'd like it to pass once I fix this :-P Cheers, Chris