Oprava verze php pro travis