Hi,
lxr.php.net is down for years[1], and apparently nobody is willing to
bring it back. Therefore, I have updated the OpenGrok links on the
Website[2] to point to <https://heap.space>, which works fine.
Would somebody please shut down the lxr subdomain completely.
Thanks,
Christoph
[1] <https://bugs.php.net/73660>
[2]
<https://github.com/php/web-php/commit/af092d09161ec0de39f9933c9bcb83755cbb008c>
