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

Additional redirects for mongodb set-to-book conversion (#1103)

Browse Source
This commit is contained in:
Jeremy Mikola
2024-10-24 23:42:44 -04:00
committed by GitHub
parent 5cd64efb03
commit 08cc46bd86
1 changed files with 14 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
error.php
View File

@@ -252,8 +252,14 @@ $manual_page_moves = [
'regexp.reference' => 'regexp.introduction',
"security" => "manual/security",
// Set to book
// MongoDB converted from set to book
'set.mongodb' => 'book.mongodb',
'mongodb.installation.homebrew' => 'mongodb.installation#mongodb.installation.homebrew',
'mongodb.installation.manual' => 'mongodb.installation#mongodb.installation.manual',
'mongodb.installation.pecl' => 'mongodb.installation#mongodb.installation.pecl',
'mongodb.installation.windows' => 'mongodb.installation#mongodb.installation.windows',
'mongodb.persistence.deserialization' => 'mongodb.persistence#mongodb.persistence.deserialization',
'mongodb.persistence.serialization' => 'mongodb.persistence#mongodb.persistence.serialization',
];
if (isset($manual_page_moves[$URI])) {
@@ -262,7 +268,13 @@ if (isset($manual_page_moves[$URI])) {
} elseif (preg_match("!^manual/([^/]+)/([^/]+).php$!", $URI, $match) &&
isset($manual_page_moves[$match[2]])) {
status_header(301);
mirror_redirect("/manual/$match[1]/" . $manual_page_moves[$match[2]] . ".php");
$parts = explode('#', $manual_page_moves[$match[2]], 2);
if (count($parts) === 1) {
mirror_redirect("/manual/{$match[1]}/{$parts[0]}.php");
} else {
mirror_redirect("/manual/{$match[1]}/{$parts[0]}.php#{$parts[1]}");
}
}
$manual_redirections = [