added php extensions