When we edit the logged in user, its info should be updated

If I log in, go to my account and change my name, the information should be refreshed so that my new name shows up in the main menu.

(from redmine: issue id 5186, created on 2016-10-10, closed on 2016-10-10)

• Changesets:
  • Revision 10b3bcb5 by Côme Chilliet on 2016-10-10T14:52:55.000Z:

Fixes #5186 Updating logged in user information after edit

• Revision e1d05243 by Côme Chilliet on 2016-10-11T07:55:14.000Z:

Fixes #5186 Updating logged in user information after edit

Conflicts:
	include/simpleplugin/class_simpleTabs.inc