mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 13:33:24 +00:00
We were showing the push notifications tooltip in user default settings section even if the push notifications were configured on the server. The bug was because the setting value was undefined in the template used for user default settings section, so this commit fixes the bug by correctly passing the setting value to relevant template file. Fixes #21602.