[xwiki-notifications] [[email protected]][Issue] (XWIKI-8461) XWikiPreferences properties are not merged by the distribution wizard when previous version does not have properly installed extensions