I can't test it actually, but il seems fine for me. Best, Yannick
2013/9/18 Chris Wright <daveran...@php.net> > 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 > > >