Add link to the PHP manual

Seems useful to link to the PHP manual if we're going to reference it.