php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update lxr links to point to heap.space

Browse Source 
This instance is maintained by ekin, and has good availability,
contrary to lxr.php.net which is down for years.
This commit is contained in:
Christoph M. Becker
2021-05-06 18:56:57 +02:00
parent b8175b4c9f
commit af092d0916
2 changed files with 3 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
get-involved.php
View File

@@ -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">