July Park Hours - Closing too early?

[ganggreen4jc]

Coming from so Cal in July for our first ever trip to WDW. Just saw the park hours and was quite surprised that MK is only open until 10:00 pm in July. Here in Anaheim, DL stays open until Midnight every night in the summer, so I guess I've just been caught a bit offgaurd by the hours. EMH doesn't really help me much, as I arrive and leave on Wednesdays and that's when EMH is for MK.

Are these typical Summertime hours for MK? Did MK ever "regularly" close after midnight in recent years, or am I just "spoiled?"