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

* Rename variables in menuview.vm