Fixed ;) 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 >> > >