Added links to PHP's documentation