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