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> -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
