Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
34,092 Commits 28 Branches 143 Tags 605 MiB
Commit Graph

2 Commits

Author SHA1 Message Date
Tim Abbott 9f72e5fc87 int_dict: Move filter_values helper to dict. 
This fixes a rebase issue between the int_dict introduction and use
for people.js with the introduce of filter_values on dict.js and use
inside people.js.
 2020-01-05 13:18:34 -08:00
Steve Howell 4e59937632 js: Add IntDict class. 
We don't use this yet, but we will soon.

We report errors if users pass in strings instead of
ints, but we try to still use the key.
 2020-01-05 12:27:26 -08:00