From af092d09161ec0de39f9933c9bcb83755cbb008c Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Thu, 6 May 2021 18:56:57 +0200
Subject: [PATCH] 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.
---
 get-involved.php | 9 ++-------
 sites.php        | 2 +-
 2 files changed, 3 insertions(+), 8 deletions(-)

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 @@ site_header("Get Involved", array("current" => "community"));
 
 <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 @@ site_header("Get Involved", array("current" => "community"));
 </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 @@ site_header("A Tourist's Guide", array("current" => "help"));
  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>