bugdown: Remove now-unnecessary short_names.

This field hasn't been used since we removed the related mention
syntax.
This commit is contained in:
Tim Abbott
2017-08-27 08:45:00 -07:00
parent 92efe94a27
commit e5da9966c2

View File

@@ -1508,7 +1508,6 @@ def do_convert(content, message=None, message_realm=None, possible_words=None, s
db_data = {'possible_words': possible_words,
'full_names': dict((user['full_name'].lower(), user) for user in realm_users),
'short_names': dict((user['short_name'].lower(), user) for user in realm_users),
'by_email': dict((user['email'].lower(), user) for user in realm_users),
'emoji': message_realm.get_emoji(),
'sent_by_bot': sent_by_bot,