HTML5: Update TypeScript declaration