Update src/lib/util/UserUtil.php

add forgotten ->flush()