Fix missing extension on travisci
Fix travis missing php extension
Fix travis missing php extension