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

* Fix a warning message that appears in the console.