added new php extensions