From c8fd4e01e19d2d21be0e216d0b1a42c996215ba8 Mon Sep 17 00:00:00 2001
From: Steve Howell <showell@zulip.com>
Date: Sat, 9 May 2020 18:11:18 +0000
Subject: [PATCH] minor: Remove obsolete `is_active_human`.

---
 static/js/settings_users.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/static/js/settings_users.js b/static/js/settings_users.js
index bd345a0b86..e20a78ab22 100644
--- a/static/js/settings_users.js
+++ b/static/js/settings_users.js
@@ -171,7 +171,6 @@ function populate_users(realm_people_data) {
     let deactivated_users = [];
     let bots = [];
     for (const user of realm_people_data.members) {
-        user.is_active_human = user.is_active && !user.is_bot;
         if (user.is_bot) {
             bots.push(user);
         } else if (user.is_active) {