XWIKI-9475: Change top menus when Workspaces is activated.

* Fix a warning message that appears in the console.
XWIKI-9475: Change top menus when Workspaces is activated.

* Fix a warning message that appears in the console.
XWIKI-9475: Change top menus when Workspaces is activated.

* Fix a warning message that appears in the console.
XWIKI-9475: Change top menus when Workspaces is activated.

* Rename variables in menuview.vm
Merge pull request #179 from gdelhumeau/master

XWIKI-9475: Change top menus when Workspaces is activated