[ticket/12470] Correctly set up the php extensions

PHPBB3-12470