enable php extensions for travis