Link to the PHP manual for array functions

I modelled this on the link to array a few paragraphs before.