Updated platform.js to detect IE11;