HomePhabricator

Remove User Preferences

Authored by Peter Boehm <boehm@hallowelt.com> on Feb 15 2019, 1:40 PM.

Description

Remove User Preferences

widgetsortodr settings was not used.
sorting is default by title

Also note: version in extension.json in branch master is still 3.0.0;

ERM #10122
Needs Cherrypicking to REL1_31

Change-Id: Idd6afb2e44638fc29cae1ef8720aae3c19567bd4