Proper shortcut for reload with extensions for Mac
Merge pull request #9606 from adobe/tom/reload-shortcut

Proper shortcut for reload without extensions for Mac