[PATCH] Document required PHP extensions in php.ini

[Lukas Fleischer]

On Sat, 06 Jan 2018 at 14:27:53, Remy Marquis wrote:
> To people unfamiliar with the code, it is not obvious that
> the pdo_* PHP extensions must be enabled.
> ---
>  INSTALL | 2 ++
>  TESTING | 2 ++
>  2 files changed, 4 insertions(+)

Merged, thanks!