Fixes the link to PHP manual