mirror of
https://github.com/php/web-php.git
synced 2026-03-30 11:12:09 +02:00
Anything else can and will screw up the manual pages. I know this makes a lot of the user-contributed code examples hard to read, but we'll just have to live with that.