diff options
| author | Andrew Dolgov <[email protected]> | 2009-10-06 13:37:24 +0400 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2009-10-06 13:37:24 +0400 |
| commit | cea04d61a243089db7c4680c19d61cc57786aadf (patch) | |
| tree | 45bf62127ff94f66d095c1602abd247ef4b95719 /modules/pref-users.php | |
| parent | b7268281f9938fe34e008feafa95fe9bdec048c6 (diff) | |
prefs: small usability improvements, feed panel allows searching for category
Diffstat (limited to 'modules/pref-users.php')
| -rw-r--r-- | modules/pref-users.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/modules/pref-users.php b/modules/pref-users.php index 73313a8ad..7e38fd5d4 100644 --- a/modules/pref-users.php +++ b/modules/pref-users.php @@ -478,9 +478,9 @@ } else { print "<p>"; if (!$user_search) { - print __('No users defined.'); + print_warning(__('No users defined.')); } else { - print __('No matching users found.'); + print_warning(__('No matching users found.')); } print "</p>"; |