Comment by dlisboa

Most likely that code already existed server-side and was duplicated client-side. It's what usually happens since frontend code can't enforce invariants.