Author: Christoph M. Becker (cmb69) Date: 2021-05-06T18:56:57+02:00 Commit: https://github.com/php/web-php/commit/af092d09161ec0de39f9933c9bcb83755cbb008c Raw diff: https://github.com/php/web-php/commit/af092d09161ec0de39f9933c9bcb83755cbb008c.diff
Update lxr links to point to heap.space This instance is maintained by ekin, and has good availability, contrary to lxr.php.net which is down for years. Changed paths: M get-involved.php M sites.php Diff: diff --git a/get-involved.php b/get-involved.php index fc9eec073..6bbe168bd 100644 --- a/get-involved.php +++ b/get-involved.php @@ -54,6 +54,8 @@ <h3 class="content-title" id="references">Useful links for developers</h3> <ul class="content-box listed"> + <li><a href="https://heap.space";>lxr</a> - an online interface to the + PHP source, providing search facilities useful for programmers and researchers</li> <li><a href="https://wiki.php.net/rfc/howto";>The RFC process</a> - the process by which developers can suggest and discuss new ideas with the community</li> <li><a href="/build-setup.php">Developer Setup Help</a> - some helpful information @@ -63,13 +65,6 @@ </ul> <?php -/* -XXX: lxr is offline and should be re-added once its are back online in a more permanent state (Kalle, 17/10/2017) - - <li><a href="http://lxr.php.net";>lxr</a> - an online interface to the - PHP source, providing search facilities useful for programmers and researchers</li> - -*/ $SIDEBAR_DATA =' <div class="panel"> diff --git a/sites.php b/sites.php index bda996490..b582fb086 100644 --- a/sites.php +++ b/sites.php @@ -155,7 +155,7 @@ interface to it. There you can browse the history (and latest versions) of the Checking out the source code can be done <a href="git.php">anonymously</a>. </p> <p> - Using <a href="http://lxr.php.net/";>OpenGrok</a> is another option to view the + Using <a href="https://heap.space/";>OpenGrok</a> is another option to view the source code, and it offers additional features like search and cross referencing. </p> </div> -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
