[ticket/11985] Move installing of php extension to install-php-extensions.sh

PHPBB3-11985