Lots of things going on:

Lots of things going on:

1. Added a dropdown box at the top right which allows you to manually choose
   the display mode for the user lists.
2. Fixed the bug where "Show all X users" was displayed when it shouldn't.
3. Merged the latest changes from the MOODLE_14_STABLE branch. This wasn't
   done before and it gave me the creeps. All changes seem to be good, so
   I hope I didn't checkin anything dangerous.

   Will synchronize the MERGED tag on the branch, too.