Florian Müllner 07660f7fcf status-menu: Rename to userMenu
We haven't actually been calling the top-right menu "status menu" for
quite some time, so use the upcoming code changes as an excuse for
renaming it to "user menu".
2011-08-29 22:11:09 +02:00
..
2011-08-29 14:11:36 -04:00
2011-07-14 12:51:18 -04:00
2011-08-28 12:23:59 -04:00
2011-08-29 22:11:09 +02:00
2011-08-29 22:11:09 +02:00