Function deleteComment

database/scripts/main.ts:419–422

* Deletes the comment of the given ID in the given postElement.

(postElement: HTMLElement, id: string)

 * Deletes the comment of the given ID in the given postElement.
 */
function deleteComment(postElement: HTMLElement, id: string) {
  const comment = postElement.getElementsByClassName('comment-' + id)[0];
  comment.parentElement!.removeChild(comment);
}

/**
 * Starts listening for new posts and populates posts lists.