xwiki/xwiki-platform — pull request #130 by gdelhumeau (2013-07-08 13:39:45+00:00)
Title: XWiki 7718:  Improve user profile's UI by using the vertical menu

First proposal (did not check if the tests break or not).