Haunted Mansion Holiday, also known as Haunted Mansion Holiday Nightmare, is a seasonal overlay of the Haunted Mansion attraction at Disneyland and Tokyo Disneyland that blends the settings and characters of the original Haunted Mansion with those of Tim Burton's 1993 film The Nightmare Before Christmas. Taking inspiration from ''The Night Before Christmas'', the attraction retells the story of Jack Skellington (as ''Sandy Claws'') visiting the Haunted Mansion on Christmas Eve, leaving holiday chaos in his wake.

Can we conclude that does disney world change the haunted mansion for christmas?
yes