Update src/lib/util/UserUtil.php

add forgotten ->flush()
Merge pull request #730 from craigh/patch-2

Update src/lib/util/UserUtil.php
Coding standards.
Merge branch '1.3'