paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-02 13:03:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

int_dict: Remove filter_values method.

Browse Source 
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
This commit is contained in:
Anders Kaseorg
2020-02-03 00:35:14 -08:00
committed by Tim Abbott
parent 1cdab5ae61
commit 7cc16757aa
4 changed files with 21 additions and 35 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
static/js/people.js
View File

@@ -681,7 +681,13 @@ exports.is_active_user_for_popover = function (user_id) {
};
exports.filter_all_persons = function (pred) {
return people_by_user_id_dict.filter_values(pred);
const ret = [];
for (const person of people_by_user_id_dict.values()) {
if (pred(person)) {
ret.push(person);
}
}
return ret;
};
exports.get_realm_persons = function () {