Added required PHP extensions (closes #4670)