HomePhabricator

Remove User Preferences

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

Description

Remove User Preferences

Warning on leaving an edit page was removed, this functionality
is handled by visualeditor.

ERM #10122
[3.1]

Change-Id: Iaac45c371de110cdeb004e72583425526864c357