Travis php settings