web: fix bug introduced during merge

2018-05-07 13:31:09 -05:00 · 2018-05-07 13:31:09 -05:00 · ec98197f23
parent cff14c4107
commit ec98197f23
1 changed files with 1 additions and 0 deletions
--- a/html/inc/user_util.inc
+++ b/html/inc/user_util.inc
@ -62,6 +62,7 @@ function check_passwd_ui($user, $passwd) {
        page_tail();
        exit;
    }
+}

 function is_banned_email_addr($email_addr) {
    global $banned_email_domains;