Fix PHP pull