configures php extensions