mirror of
https://github.com/zulip/zulip.git
synced 2026-07-06 21:18:58 +08:00
The user_info var was mapping users to presence information, and presence_info is a better name for it. This change is partly tactical, as it sets us up to inline ui.set_presence_list, which receives user_list as presence_list and then has a completely different variable called user_info. By doing this pre-factoring, the next commit becomes just a pure code move without more moving parts of renaming variables. (imported from commit 4b015d19886b43d24905124eb37cd9dd317aa87b) |
||
|---|---|---|
| .. | ||
| audio | ||
| html | ||
| images | ||
| js | ||
| styles | ||
| templates | ||
| third | ||
| .gitignore | ||
| favicon.ico | ||
| robots.txt | ||