Added php extensions