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