Re: [PATCH] Document required PHP extensions in php.ini