From ac1c128ae5af8d22ec21099eedf9c291684ead47 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Wed, 6 Sep 2006 14:12:30 +0000 Subject: [PATCH] remove the last references to the books page. and use our show-source functionality instead of redirecting users to cvs --- error.php | 8 ++++---- urlhowto.php | 12 ++++++------ 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/error.php b/error.php index 0de8f807b..489e58f17 100644 --- a/error.php +++ b/error.php @@ -335,10 +335,10 @@ if (isset($uri_aliases[$URI])) { } // ============================================================================ -// Redirect if the entered URI was a PHP page name (except the books page, +// Redirect if the entered URI was a PHP page name (except some pages, // which we display in the mirror's language or the explicitly specified // language [see below]) -if (!in_array($URI, array('books', 'mirror-info', 'error')) && +if (!in_array($URI, array('mirror-info', 'error')) && file_exists($_SERVER['DOCUMENT_ROOT'] . "/$URI.php")) { mirror_redirect("/$URI.php"); } @@ -349,9 +349,9 @@ if (isset($external_redirects[$URI])) { mirror_redirect($external_redirects[$URI]); } -// Temporary hack for books and mirror-info, until all the pages +// Temporary hack for mirror-info, until all the pages // will be capable of being included from anywhere -if (in_array($URI, array('books', 'mirror-info'))) { +if (in_array($URI, array('mirror-info'))) { status_header(200); include_once $_SERVER['DOCUMENT_ROOT'] . "/$URI.php"; } diff --git a/urlhowto.php b/urlhowto.php index 459449d8e..538bd30bb 100644 --- a/urlhowto.php +++ b/urlhowto.php @@ -114,8 +114,8 @@ site_header("URL Howto"); php4news. The latter is an external page alias, as it points to a file on the CVS server, containing information about changes in PHP. There are also some convinient aliases, like - de/books which displays the German - PHP books' list. + de/phpversion which displays the German + manual page for the phpversion() function.

Get it on your site

@@ -134,10 +134,10 @@ site_header("URL Howto");