Fix updateUser from Interface

[libertjeremy]

The updateUser statement in Doctrine/UserManager.php is not compatible with the UserManagerInterface.php interface.

From UserManagerInterface.php :
public function updateUser(UserInterface $user);

From Doctrine/UserManager.php :
public function updateUser(UserInterface $user, $andFlush = true)

[XWB]

Thanks.

[guilliamxavier]

@XWB Please revert:

• The premise

The updateUser statement in Doctrine/UserManager.php is not compatible with the UserManagerInterface.php interface.

was wrong, it was already compatible (of course!): https://3v4l.org/4tIPJ

• Worse, this introduced a BC break for potential implementations of the interface:

  • before: https://3v4l.org/GiaWO
  • after: https://3v4l.org/cPldB

Please revert, thanks.