On 18.10.2016 at 09:07, Ferenc Kovacs wrote:
> the initial setup is done, let me know what did I miss.
Thanks, Ferenc. It seems that the navigation to symbols in another file
is broken. Consider, for instance,
<http://lxr.php.net/xref/PHP-MASTER/ext/gd/gd.c#1269>. Clicking on
| Error: File not found!
| The requested resource is not available
That also happens for all other identifiers located in other files that
I tried. Don't know what's wrong there.
Christoph M. Becker
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php