Was Shah Rukh Khan and Salman Khan’s patch up for real or for the cameras?