Updated docs to reflect recent change with PHP_EXTENSIONS and PHP_MODULES.