ios: Require iOS 14.0+

Only 0.7% of our users are on 13 and older; see
  https://chat.zulip.org/#narrow/stream/48-mobile/topic/platform.20versions/near/1476154

In fact, only 3.8% of our iOS users are on iOS 14, so graceful
degradation below iOS 15 is fine.

The bump to iOS 14 in tools/generate-webview-js seems to cause
@babel/preset-env to drop @babel/plugin-transform-template-literals,
so add an `include` key to force it to be included, with a note
about why. See the doc on `include`:
  https://babeljs.io/docs/en/babel-preset-env#include
and the doc on @babel/plugin-transform-template-literals:
  https://babeljs.io/docs/en/babel-plugin-transform-template-literals#loose

Author: chrisbobbe

docs/architecture/platform-versions.md

@@ -100,6 +100,8 @@ History:
   2021-11.  It represented 0.8% of our Android users, and didn't
   support the API we'd started using to give spiffy new-style
   notifications.
+* We [dropped iOS 12 and 13 support] in 2023-01. Version 13 was 0.7% of iOS
+  users who tried Zulip.
 <!-- When updating this, please update `docs/developer-guide.md` as well. -->
 
 [dropped-android-j]: https://chat.zulip.org/#narrow/stream/48-mobile/topic/platform.20versions/near/625585
@@ -109,6 +111,7 @@ History:
 [dropped iOS 11 support]: https://chat.zulip.org/#narrow/stream/48-mobile/topic/platform.20versions/near/1165087
 [dropped-android-l]: https://chat.zulip.org/#narrow/stream/243-mobile-team/topic/Updating.20.60minSdkVersion.60/near/1236327
 [dropped-android-m]: https://chat.zulip.org/#narrow/stream/48-mobile/topic/platform.20versions/near/1278266
+[dropped iOS 12 and 13 support]: https://chat.zulip.org/#narrow/stream/48-mobile/topic/platform.20versions/near/1476154
 
 
 Related observations:

docs/developer-guide.md

@@ -1,7 +1,7 @@
 # Developer guide
 
 We target operating systems >= Android 7 Nougat (API 24)
-and >= iOS 12.1.  (Details [here](architecture/platform-versions.md).)
+and >= iOS 14.0.  (Details [here](architecture/platform-versions.md).)
 
 ## Why React Native?
 

ios/Podfile

@@ -1,6 +1,6 @@
 # This should match the iOS Deployment Target
 # (project > ZulipMobile > Info in Xcode)
-platform :ios, '12.1'
+platform :ios, '14.0'
 
 require_relative '../node_modules/expo/scripts/autolinking.rb'
 require_relative '../node_modules/react-native/scripts/react_native_pods'

ios/Podfile.lock

@@ -757,6 +757,6 @@ SPEC CHECKSUMS:
   Yoga: c4d61225a466f250c35c1ee78d2d0b3d41fe661c
   YogaKit: f782866e155069a2cca2517aafea43200b01fd5a
 
-PODFILE CHECKSUM: 471cbe682ee7f0ba312982bb828ec78c4bd20655
+PODFILE CHECKSUM: d89f3b1e89d483f9f945122b7b9ecb7c39b9fe75
 
 COCOAPODS: 1.11.3

ios/ZulipMobile.xcodeproj/project.pbxproj

@@ -515,7 +515,7 @@
 				GCC_WARN_UNUSED_FUNCTION = YES;
 				GCC_WARN_UNUSED_VARIABLE = YES;
 				HEADER_SEARCH_PATHS = "";
-				IPHONEOS_DEPLOYMENT_TARGET = 12.1;
+				IPHONEOS_DEPLOYMENT_TARGET = 14.0;
 				LD_RUNPATH_SEARCH_PATHS = (
 					/usr/lib/swift,
 					"$(inherited)",
@@ -576,7 +576,7 @@
 				GCC_WARN_UNUSED_FUNCTION = YES;
 				GCC_WARN_UNUSED_VARIABLE = YES;
 				HEADER_SEARCH_PATHS = "";
-				IPHONEOS_DEPLOYMENT_TARGET = 12.1;
+				IPHONEOS_DEPLOYMENT_TARGET = 14.0;
 				LD_RUNPATH_SEARCH_PATHS = (
 					/usr/lib/swift,
 					"$(inherited)",

src/webview/js/js.js

@@ -46,8 +46,8 @@ import { ensureUnreachable } from '../../generics';
  *
  * * (When updating these, be sure to update tools/generate-webview-js too.)
  *
- * * We support iOS 12.  So this code needs to work on Mobile Safari 12.
- *   Graceful degradation is acceptable below iOS 14 / Mobile Safari 14.
+ * * We support iOS 14.  So this code needs to work on Mobile Safari 14.
+ *   Graceful degradation is acceptable below iOS 15 / Mobile Safari 15.
  *
  * * For Android, core functionality needs to work on Chrome 51.
  *   Graceful degradation is acceptable below Chrome 74.

tools/generate-webview-js

@@ -43,7 +43,7 @@ const targetPlatforms = {
   // Babel does distinguish `safari` (meaning on macOS, I guess) from `ios`.
   // Some features arrive in e.g. "safari 11.1" but "ios 11.3", or in
   // 13.1 vs 13.4, so the distinction is still relevant.
-  ios: 12,
+  ios: 14,
 };
 
 // Disable the default react-native transformations.
@@ -109,7 +109,23 @@ ${es3Code.replace(/\\/g, '\\\\')}
 
         // See comments below about (the absence of) automatic polyfills via
         // `core-js`.
-        presets: [['@babel/preset-env', { targets: targetPlatforms }]],
+        presets: [
+          [
+            '@babel/preset-env',
+            {
+              targets: targetPlatforms,
+
+              // Remove unescaped template-literal syntax in the output
+              // string (backticks, string interpolation with ${}, etc.),
+              // since for now we wrap the output in a template literal.
+              // TODO(?): Remove that wrapping, and just send the output to
+              //   a file which is read as a string. Or:
+              // TODO(?): Properly escape template-literal syntax in the
+              //   output string.
+              include: ['@babel/plugin-transform-template-literals'],
+            },
+          ],
+        ],
       }),
     ],
   });