sorting of preferences
sort list of extensions in preferences by priority
(from redmine: issue id 2233, created on 2015-05-29 by Daniel.Van.Asseldonk, closed on 2016-07-14)
- Relations:
- parent #2294
sort list of extensions in preferences by priority
(from redmine: issue id 2233, created on 2015-05-29 by Daniel.Van.Asseldonk, closed on 2016-07-14)