Updated travis php extensions