Kendo mobile Application Typescript declaration constructor incorrect

[Ken]

The mobile Application class constructor should start with an HTMLElement parameter. Currently you have:

module kendo.mobile {
    class Application extends Observable {
        constructor(options?: ApplicationOptions);

should be:

constructor(element?: HTMLElement, options?: ApplicationOptions);

This is the second error I found. First was:
Typescript definition for kendo mssing ns property

Note that this is KENDO MOBILE. Please provide a kendo.mobile.d.ts for that! In my previous thread you said to rename the kendoui one. That, of course, will not work.

[Atanas Korchev]

Hello Kenneth,

 You can check this forum thread: http://www.kendoui.com/forums/mobile/application/typescript-definition-file-incorrect-for-kendo-mobile-application.aspx

 The kendo.mobile.d.ts file as well as the fix for this issue is available in the latest internal build: 2013.1.416

Regards,
Atanas Korchev
the Telerik team