Bug in deprecated.js not compiling

Contribute Bug
3

IE10 is dead as of January this year, not supported by Microsoft.