Disney reports $25.2 billion quarterly revenue, up 7%,…