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)
- 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