xwiki/xwiki-platform — pull request #160 by gdelhumeau (2013-09-11 12:19:34+00:00)
Title: XWIKI-9341: Menu improvements when Workspaces activated.

* Restore the 'globe.png' for the Wiki menu.