XWIKI-9738: Finalize migration from workspaces to the new wiki API.

* Add xwiki-platform-wiki-workspaces-migrator as a dependency.
Merge pull request #56 from gdelhumeau/master

[Misc] Fix mainwiki-ui old names.
Merge pull request #55 from gdelhumeau/XWIKI-9738

XWIKI-9738: Finalize migration from workspaces to the new wiki API.
XWIKI-9738: Finalize migration from workspaces to the new wiki API.

* Add new migrators to xwiki-enterprise-data.
XWIKI-9738: Finalize migration from workspaces to the new wiki API.

* xwiki-enterprise-migrator is not necessary anymore.
Merge pull request #57 from gdelhumeau/XWIKI-9738

XWIKI-9738: Finalize migration from workspaces to the new wiki API.
[maven-release-plugin] prepare branch stable-5.3.x
[maven-release-plugin] prepare for next development iteration
[release] Incremented parent versions and/or version properties for the next development iteration
XWIKI-9673: Main wiki descriptor page XWiki.XWikiServerXwiki is missing after Wiki Manager installation.