Extension Manager improvements
Last modified by Vincent Massol on 2021/04/06
Extensions installed as dependencies but which don't have any backward dependencies anymore are now taken into account by the upgrade job.
