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 php_info_print_table_row gives | 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
