[web-php] PR #1100: Redirect MongoDB from set to book
| From: | cmb69 | Date: | Mon, 21 Oct 2024 21:31:52 +0000 |
| Subject: | [web-php] PR #1100: Redirect MongoDB from set to book | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-32198@lists.php.net to get a copy of this message | ||
Pull Request: https://github.com/php/web-php/pull/1100
Author: cmb69
Due to <https://github.com/php/doc-en/pull/3627>, the
MongoDB documentation's main page has been moved; we redirect accordingly.
---
Frankly, I have no idea where to put that redirect, or what would be the difference between
$manual_page_moves and $manual_redirections. Maybe someone else knows.