diff --git a/frontend-js/src/main/js/gui/LoginDialog.js b/frontend-js/src/main/js/gui/LoginDialog.js index aabdc54bf3cc5f50d6ab052122c5cdf2baa859bf..aa506f71f3a79e47d8196de3b8adc4d7ed66e2f1 100644 --- a/frontend-js/src/main/js/gui/LoginDialog.js +++ b/frontend-js/src/main/js/gui/LoginDialog.js @@ -4,6 +4,7 @@ var AbstractGuiElement = require('./AbstractGuiElement'); var GuiConnector = require('../GuiConnector'); +var InvalidCredentialsError = require('../InvalidCredentialsError'); var PanelControlElementType = require('./PanelControlElementType'); var Functions = require('../functions');