HomePhabricator

Remove User Preferences

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

Description

Remove User Preferences

ERM #10122
Needs Cherrypicking to REL1_31
Edit: forgot extension.json
Change-Id: I9a0dd18610375c85a56ea4da706e07bb0e9a87bc