From bbf8aee281cd6e7723bbcb8b45ac39c06d61a5a5 Mon Sep 17 00:00:00 2001
From: Gabor Hojtsy <goba@php.net>
Date: Fri, 29 Jun 2001 17:17:58 +0000
Subject: [PATCH] Make source.php to work for all manual subdirs

---
 source.php | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/source.php b/source.php
index 51de130c7..ff35d8033 100644
--- a/source.php
+++ b/source.php
@@ -15,12 +15,20 @@ Source of: <? echo $url; ?><BR>
 echo hdelim(); 
 
 $legal_dirs = array(
-    "/manual" => 1,
-    "/include" => 1,
-	"/stats" => 1);
+  "/manual"  => 1,
+  "/include" => 1,
+  "/stats"   => 1
+);
 
 $dir = dirname($url);
-if ($dir && $legal_dirs[$dir]) {
+
+// The separate manual language dirs are legal dirs
+if (preg_match("!^/manual/(en|pt_BR|cs|nl|fr|de|hu|it|ja|kr|es)$!", $dir) || $legal_dirs[$dir]) {
+      $legal_dir = TRUE;
+} else { $legal_dir = FALSE: }
+
+// If this is a legal dir, then it is under the docroot, else use basename
+if ($dir && $legal_dir) {
     $page_name = $DOCUMENT_ROOT . $url;
 } else {
     $page_name = basename($url);