What I dislike about it is the comments that every page includes. Most of them are very poorly written snippets of code from 15 years ago.
If you dislike those comments too, consider adding this to your ad blocker:
php.net###usernotesThere is the issue of bad advice, but recently I've noticed that there seems to have been a voting system introduced at some point (not sure how long that's been there, I was away from PHP for a good chunk of the last decade), and I think the moderation system is older, so in theory, some of the worst advice should be filtered down/out and some of the best should be filtered up.
I don't block user comments on PHP doc pages out of spite, I do it because they are very long, making it harder to scroll vertically on the actual documentation.
Its a minor quibble on desktop, but on mobile its a really annoying feature because I have to manually scroll with my finger for an age.
Yes, but then if I'm looking for a specific part it has scrolled way past and I need to then scroll back down, sometimes past it, and then scroll back up. Bearing in mind I have to scan the page as it flashes past too.
It's a frustrating experience.