tree 064b325c2b6aaced08e1533d8a9698a9c0dc57ea
parent a754c6ba05cf9d693a7d65342310ec05a6fd2ca0
author Fyodor Kupolov <fkupolov@google.com> 1418076936 -0800
committer Fyodor Kupolov <fkupolov@google.com> 1418853481 -0800

Remove Users & profiles header for phones

In Settings/Users, remove "Users & profiles" header is no longer displayed
for phones. List of UserPreference is now explicitly sorted. Before, it
was relying on an overridden compareTo method in UserPreference, which
behavior was difficult to predict when instances of UserPreference were
mixed with other instances in the same group.

Bug:17630523
Change-Id: Iba1ef863c2cd4e8ca307ae0aa0877c5cd9e0973d