[drivingmenuts]

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.