1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

Redirect MongoDB from set to book (#1100)

Co-authored-by: Luffy <52o@qq52o.cn>
This commit is contained in:
Christoph M. Becker
2024-10-22 11:46:57 +02:00
committed by GitHub
parent f183952bb9
commit 5a5ff74a26

View File

@@ -251,6 +251,9 @@ $manual_page_moves = [
// Refactored
'regexp.reference' => 'regexp.introduction',
"security" => "manual/security",
// Set to book
'set.mongodb' => 'book.mongodb',
];
if (isset($manual_page_moves[$URI])) {
@@ -349,7 +352,7 @@ $uri_aliases = [
"gd" => "image",
"bcmath" => "bc",
'streams' => 'book.stream',
"mongodb" => "set.mongodb",
"mongodb" => "book.mongodb",
"hrtime" => "function.hrtime", // Prefer function over PECL ext
"callback" => "language.pseudo-types",