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

The manual path does not need to end in /manual/ :)

Browse Source
This commit is contained in:
Gabor Hojtsy
2003-08-08 13:35:25 +00:00
parent 5b648aa934
commit b86ca3fec5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
source.php
View File

@@ -61,7 +61,7 @@ if (!empty($dir) && !preg_match("!^(\\.|/)$!", $dir)) {
"/error" => 1,
"/license" => 1
);
if (preg_match("!^/manual/$!", $dir) || isset($legal_dirs[$dir])) {
if (preg_match("!^/manual/!", $dir) || isset($legal_dirs[$dir])) {
$page_name = $_SERVER['DOCUMENT_ROOT'] . $_GET['url'];
} else { $page_name = FALSE; }
} else {