Author: Jeremy Mikola (jmikola) Committer: GitHub (web-flow) Pusher: sy-records Date: 2024-10-25T11:42:44+08:00
Commit: https://github.com/php/web-php/commit/08cc46bd86fd4ea19d2fa9cd4426908c09210807 Raw diff: https://github.com/php/web-php/commit/08cc46bd86fd4ea19d2fa9cd4426908c09210807.diff Additional redirects for mongodb set-to-book conversion (#1103) Changed paths: M error.php Diff: diff --git a/error.php b/error.php index e436cc11fe..32e5612cf3 100644 --- a/error.php +++ b/error.php @@ -252,8 +252,14 @@ '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 @@ } 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 = [
