xwiki/xwiki-platform — pull request #179 by gdelhumeau (2013-09-26 08:51:19+00:00)
Title: XWIKI-9475: Change top menus when Workspaces is activated.

* Fix a warning message that appears in the console.