There's more like that elsewhere in the PHP docs (at least, last time I went looking). PHP used to be minutely documented, with copious examples, which was why

There's more like that elsewhere in the PHP docs (at least, last time I went looking). PHP used to be minutely documented, with copious examples, which was why it was so easy to learn. Now, not so much, it seems.