Serve the pages of the moved extensions from /manual/extensions/ - #2038

Serve the pages of the moved extensions from /manual/extensions/#2038

lacatoire wants to merge 8 commits into

php:masterphp/web-php:masterfrom

lacatoire:feat/doc-extensions-redirectslacatoire/web-php:feat/doc-extensions-redirectsCopy head branch name to clipboard