XWIKI-9516: Merge xwiki-platform-wiki-manager and xwiki-platform-workspace.