/** * Created by Menna on 8/24/16. */ export class TimePicker extends kendo.ui.TimePicker { constructor(element: any, options?: {}) { if (element === 'undefined' || element == null) { console.error('Time picker element is undefined.'); throw new Error(); } super(element as Element, options as kendo.ui.TimePickerOptions); } }