Per the calendar on wdwmagic, operating hours last year for MK on July 3rd were 9AM-1AM regular operating hours, 1AM-3AM EMH.
I guess it's where our family plans our days around the parks according to EMH, which is important today with magic band reservations to make.