Check if backend is available

$verifierTypes is undefined! -> js error

changed milestone to %KW 42 (Oct 13, 2019–Oct 20, 2019)

added Bug Frontend labels

mentioned in commit da7ede7e

closed

removed Frontend label

reopened

added Frontend label

closed

assigned to @jonasblatt