[PHP-WEBMASTER] [web-php] master: Redirect MongoDB from set to book (#1100)

Author: Christoph M. Becker (cmb69)
Committer: GitHub (web-flow)
Pusher: sy-records
Date: 2024-10-22T17:46:57+08:00

Commit: Redirect MongoDB from set to book (#1100) · php/web-php@5a5ff74 · GitHub
Raw diff: https://github.com/php/web-php/commit/5a5ff74a26120977f675c6e6a2bdc21aa61eed1a.diff

Redirect MongoDB from set to book (#1100)

Co-authored-by: Luffy <52o@qq52o.cn>

Changed paths:
  M error.php

Diff:

diff --git a/error.php b/error.php
index 56a375fe65..e436cc11fe 100644
--- a/error.php
+++ b/error.php
@@ -251,6 +251,9 @@
     // 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 @@
     "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",