diff --git a/build-setup.php b/build-setup.php index 90757c854..b59f33cc8 100644 --- a/build-setup.php +++ b/build-setup.php @@ -4,10 +4,14 @@ $_SERVER['BASE_PAGE'] = 'get-involved.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; $SIDEBAR_DATA =' +
This page is intended to help setup a development environment for PHP, if mistakes are found please report them.
+diff --git a/downloads.php b/downloads.php index 1d2ca80d3..7acc73f4e 100644 --- a/downloads.php +++ b/downloads.php @@ -51,24 +51,26 @@ $SIDEBAR_DATA = '
-- We do not distribute UNIX/Linux binaries. Most Linux - distributions come with PHP these days, so if you do - not want to compile your own, go to your distribution\'s - download site. Binaries available on external servers: -
- -Binaries
++ We do not distribute UNIX/Linux binaries. Most Linux + distributions come with PHP these days, so if you do + not want to compile your own, go to your distribution\'s + download site. Binaries available on external servers: +
+ +