HomePhabricator

Remove User Preferences

Authored by Hwboehm 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;

edit: undo deletion in extension.json
ERM #10122
[3.1]

Change-Id: Idd6afb2e44638fc29cae1ef8720aae3c19567bd4