migrate doc redirects to redirects.json sidecar from doc-en#1960

jordikroon wants to merge 1 commit into

php:masterphp/web-php:masterfrom

jordikroon:doc-redirectsjordikroon/web-php:doc-redirectsCopy head branch name to clipboard