export class HtmlUtils { public static getElementByIdOrFail(id: string): T { const elem = document.getElementById(id); if (elem === null) { throw new Error("Cannot find HTML element with id '"+id+"'"); } // FIXME: does not check the type of the returned type return elem as T; } public static removeElementByIdOrFail(id: string): T { const elem = document.getElementById(id); if (elem === null) { throw new Error("Cannot find HTML element with id '"+id+"'"); } // FIXME: does not check the type of the returned type elem.remove(); return elem as T; } public static urlify(text: string): string { const urlRegex = /(https?:\/\/[^\s]+)/g; return text.replace(urlRegex, (url: string) => { return '' + url + ''; }) } }