On 13 September 2013 20:28, Yannick Torrès <yannick.tor...@gmail.com> wrote: > Fixed ;) >
Awesome, thanks :-) > http://git.php.net/?p=web/doc-editor.git;a=commit;h=a9d929f161ebf9a4685167d5b65367e42e81c592 > > Best, > Yannick > > > 2013/9/13 Yannick Torrès <yannick.tor...@gmail.com> >> >> Hi guys, >> >> I'm on it. >> >> Best, >> Yannick >> >> >> 2013/9/13 Philip Olson <phi...@roshambo.org> >>> >>> <snip> >>> >>> > I'd open a bug, but since this is a bug in the bug tracker it would >>> > need to be reported on bugs.bugs.php.net which doesn't exist. Perhaps >>> > this is a bug. >>> > >>> > :-) >>> >>> Good idea, although we should consider features.features.php.net >>> >>> Regards, >>> Philip >> >> >