xwiki/xwiki-platform — pull request #168 by gdelhumeau (2013-09-18 14:35:07+00:00)
Title: XWIKI-9475: Change top menus when Workspaces is activated.

* New menu.
* Renamed "Wiki Directory" and "User Directory" to "Wiki Index" and "User Index".
* Use the house icon for the Home.