Pull Request: Redirect MongoDB from set to book by cmb69 · Pull Request #1100 · php/web-php · GitHub
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.