Add link to PHP documentation.