xwiki/xwiki-platform — pull request #162 by gdelhumeau (2013-09-11 15:42:21+00:00)
Title:  XWIKI-7718: Improve user profile's UI by using the vertical menu.

* Little fix to make the rendered HTML valid.