remove unneeded ; from warnLeavingUnsaved of application.js (#13811)
Contributed by Adrian Wilkins.
Authored by: tmaruyama 2013-04-20
Parent: [r11730]
Child: [r11732]