Fixing php.net hyperlinks