Link PHP extension requirement to PHP manual