mirror of
https://github.com/php/web-php.git
synced 2026-03-31 03:32:23 +02:00
- remove links from the docs page - remove options from the dropdown (this have the side effect that language stickiness is easier to self-solve for users, as they will see the English language selection on top right away - redirect old print, printwn and html URLs to the manual web addresses
14 KiB
14 KiB