store [nfc]: Add a zulipFeatureLevel getter

This is more convenient than going through store.connection,
and should reduce the temptation to go through store.account.

Author: gnprice

lib/model/autocomplete.dart

@@ -622,13 +622,13 @@ class MentionAutocompleteView extends AutocompleteView<MentionAutocompleteQuery,
       if (tryOption(WildcardMentionOption.all)) break all;
       if (tryOption(WildcardMentionOption.everyone)) break all;
       if (isComposingChannelMessage) {
-        final isChannelWildcardAvailable = store.account.zulipFeatureLevel >= 247; // TODO(server-9)
+        final isChannelWildcardAvailable = store.zulipFeatureLevel >= 247; // TODO(server-9)
         if (isChannelWildcardAvailable && tryOption(WildcardMentionOption.channel)) break all;
         if (tryOption(WildcardMentionOption.stream)) break all;
       }
     }
 
-    final isTopicWildcardAvailable = store.account.zulipFeatureLevel >= 224; // TODO(server-8)
+    final isTopicWildcardAvailable = store.zulipFeatureLevel >= 224; // TODO(server-8)
     if (isComposingChannelMessage && isTopicWildcardAvailable) {
       tryOption(WildcardMentionOption.topic);
     }

lib/model/compose.dart

@@ -140,8 +140,8 @@ String userMention(User user, {bool silent = false, Map<int, User>? users}) {
 String wildcardMention(WildcardMentionOption wildcardOption, {
   required PerAccountStore store,
 }) {
-  final isChannelWildcardAvailable = store.account.zulipFeatureLevel >= 247; // TODO(server-9)
-  final isTopicWildcardAvailable = store.account.zulipFeatureLevel >= 224; // TODO(server-8)
+  final isChannelWildcardAvailable = store.zulipFeatureLevel >= 247; // TODO(server-9)
+  final isTopicWildcardAvailable = store.zulipFeatureLevel >= 224; // TODO(server-8)
 
   String name = wildcardOption.canonicalString;
   switch (wildcardOption) {

lib/model/internal_link.dart

@@ -60,7 +60,7 @@ String? decodeHashComponent(String str) {
 Uri narrowLink(PerAccountStore store, Narrow narrow, {int? nearMessageId}) {
   // TODO(server-7)
   final apiNarrow = resolveApiNarrowForServer(
-    narrow.apiEncode(), store.connection.zulipFeatureLevel!);
+    narrow.apiEncode(), store.zulipFeatureLevel);
   final fragment = StringBuffer('narrow');
   for (ApiNarrowElement element in apiNarrow) {
     fragment.write('/');

lib/model/store.dart

@@ -405,6 +405,10 @@ class PerAccountStore extends ChangeNotifier with EmojiStore, UserStore, Channel
   /// This returns null if [reference] fails to parse as a URL.
   Uri? tryResolveUrl(String reference) => _tryResolveUrl(realmUrl, reference);
 
+  /// Always equal to `connection.zulipFeatureLevel`
+  /// and `account.zulipFeatureLevel`.
+  int get zulipFeatureLevel => connection.zulipFeatureLevel!;
+
   String get zulipVersion => account.zulipVersion;
   final RealmWildcardMentionPolicy realmWildcardMentionPolicy; // TODO(#668): update this realm setting
   final bool realmMandatoryTopics;  // TODO(#668): update this realm setting

lib/widgets/action_sheet.dart

@@ -182,9 +182,9 @@ void showTopicActionSheet(BuildContext context, {
   final optionButtons = <ActionSheetMenuItemButton>[];
 
   // TODO(server-7): simplify this condition away
-  final supportsUnmutingTopics = store.connection.zulipFeatureLevel! >= 170;
+  final supportsUnmutingTopics = store.zulipFeatureLevel >= 170;
   // TODO(server-8): simplify this condition away
-  final supportsFollowingTopics = store.connection.zulipFeatureLevel! >= 219;
+  final supportsFollowingTopics = store.zulipFeatureLevel >= 219;
 
   final visibilityOptions = <UserTopicVisibilityPolicy>[];
   final visibilityPolicy = store.topicVisibilityPolicy(channelId, topic);
@@ -477,7 +477,7 @@ void showMessageActionSheet({required BuildContext context, required Message mes
   final isComposeBoxOffered = messageListPage.composeBoxController != null;
 
   final isMessageRead = message.flags.contains(MessageFlag.read);
-  final markAsUnreadSupported = store.connection.zulipFeatureLevel! >= 155; // TODO(server-6)
+  final markAsUnreadSupported = store.zulipFeatureLevel >= 155; // TODO(server-6)
   final showMarkAsUnreadButton = markAsUnreadSupported && isMessageRead;
 
   final optionButtons = [

lib/widgets/actions.dart

@@ -24,9 +24,8 @@ abstract final class ZulipAction {
   /// for details on the UI feedback, see there.
   static Future<void> markNarrowAsRead(BuildContext context, Narrow narrow) async {
     final store = PerAccountStoreWidget.of(context);
-    final connection = store.connection;
     final zulipLocalizations = ZulipLocalizations.of(context);
-    final useLegacy = connection.zulipFeatureLevel! < 155; // TODO(server-6)
+    final useLegacy = store.zulipFeatureLevel < 155; // TODO(server-6)
     if (useLegacy) {
       try {
         await _legacyMarkNarrowAsRead(context, narrow);
@@ -78,8 +77,7 @@ abstract final class ZulipAction {
     Message message,
     Narrow narrow,
   ) async {
-    final connection = PerAccountStoreWidget.of(context).connection;
-    assert(connection.zulipFeatureLevel! >= 155); // TODO(server-6)
+    assert(PerAccountStoreWidget.of(context).zulipFeatureLevel >= 155); // TODO(server-6)
     final zulipLocalizations = ZulipLocalizations.of(context);
     await updateMessageFlagsStartingFromAnchor(
       context: context,

lib/widgets/autocomplete.dart

@@ -241,7 +241,7 @@ class _MentionAutocompleteItem extends StatelessWidget {
     required PerAccountStore store,
   }) {
     final isDmNarrow = narrow is DmNarrow;
-    final isChannelWildcardAvailable = store.account.zulipFeatureLevel >= 247; // TODO(server-9)
+    final isChannelWildcardAvailable = store.zulipFeatureLevel >= 247; // TODO(server-9)
     final localizations = ZulipLocalizations.of(context);
     final description = switch (wildcardOption) {
       WildcardMentionOption.all || WildcardMentionOption.everyone => isDmNarrow

lib/widgets/profile.dart

@@ -40,7 +40,7 @@ class ProfilePage extends StatelessWidget {
   ///
   /// Returns null if self-user isn't able to see [user]'s real email address.
   String? _getDisplayEmailFor(User user, {required PerAccountStore store}) {
-    if (store.account.zulipFeatureLevel >= 163) { // TODO(server-7)
+    if (store.zulipFeatureLevel >= 163) { // TODO(server-7)
       // A non-null value means self-user has access to [user]'s real email,
       // while a null value means it doesn't have access to the email.
       // Search for "delivery_email" in https://zulip.com/api/register-queue.