@@ -131,7 +131,7 @@ GetServerSettingsResult serverSettings({
131131 );
132132}
133133
134- ServerEmojiData serverEmojiDataPopular = ServerEmojiData (codeToNames: {
134+ final ServerEmojiData serverEmojiDataPopular = ServerEmojiData (codeToNames: {
135135 '1f44d' : ['+1' , 'thumbs_up' , 'like' ],
136136 '1f389' : ['tada' ],
137137 '1f642' : ['slight_smile' ],
@@ -158,7 +158,7 @@ ServerEmojiData serverEmojiDataPopularPlus(ServerEmojiData data) {
158158///
159159/// zulip/zulip@9feba0f16f is a Server 11 commit.
160160// TODO(server-11) can drop this
161- ServerEmojiData serverEmojiDataPopularLegacy = ServerEmojiData (codeToNames: {
161+ final ServerEmojiData serverEmojiDataPopularLegacy = ServerEmojiData (codeToNames: {
162162 '1f44d' : ['+1' , 'thumbs_up' , 'like' ],
163163 '1f389' : ['tada' ],
164164 '1f642' : ['smile' ],
@@ -502,21 +502,21 @@ UserTopicItem userTopicItem(
502502// Messages, and pieces of messages.
503503//
504504
505- Reaction unicodeEmojiReaction = Reaction (
505+ final Reaction unicodeEmojiReaction = Reaction (
506506 emojiName: 'thumbs_up' ,
507507 emojiCode: '1f44d' ,
508508 reactionType: ReactionType .unicodeEmoji,
509509 userId: selfUser.userId,
510510);
511511
512- Reaction realmEmojiReaction = Reaction (
512+ final Reaction realmEmojiReaction = Reaction (
513513 emojiName: 'twocents' ,
514514 emojiCode: '181' ,
515515 reactionType: ReactionType .realmEmoji,
516516 userId: selfUser.userId,
517517);
518518
519- Reaction zulipExtraEmojiReaction = Reaction (
519+ final Reaction zulipExtraEmojiReaction = Reaction (
520520 emojiName: 'zulip' ,
521521 emojiCode: 'zulip' ,
522522 reactionType: ReactionType .zulipExtraEmoji,
0 commit comments