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"));

Useful links for developers

lxr - an online interface to the - PHP source, providing search facilities useful for programmers and researchers - -*/ $SIDEBAR_DATA ='
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 anonymously.

- Using OpenGrok is another option to view the + Using OpenGrok is another option to view the source code, and it offers additional features like search and cross referencing.