dependencies: Upgrade JavaScript dependencies.

Signed-off-by: Anders Kaseorg <anders@zulip.com>

package.json

@@ -34,7 +34,7 @@
     "emoji-datasource-google-blob": "npm:emoji-datasource-google@^3.0.0",
     "emoji-datasource-twitter": "^6.0.0",
     "error-stack-parser": "^2.0.2",
-    "eslint-plugin-unicorn": "^28.0.0",
+    "eslint-plugin-unicorn": "^29.0.0",
     "expose-loader": "^1.0.0",
     "file-loader": "^6.0.0",
     "flatpickr": "^4.5.7",
@@ -44,11 +44,11 @@
     "handlebars": "^4.7.2",
     "handlebars-loader": "^1.7.1",
     "html-webpack-plugin": "^4.0.0-beta.8",
-    "i18next": "^19.0.0",
+    "i18next": "^20.2.1",
     "jquery": "^3.4.1",
     "jquery-caret-plugin": "^1.5.2",
     "jquery-validation": "^1.19.0",
-    "katex": "^0.12.0",
+    "katex": "^0.13.2",
     "lodash": "^4.17.19",
     "mini-css-extract-plugin": "^1.2.0",
     "plotly.js": "^1.48.1",
@@ -87,7 +87,7 @@
     "@types/clean-css": "^4.2.2",
     "@types/css-minimizer-webpack-plugin": "^1.1.3",
     "@types/jquery": "^3.3.31",
-    "@types/mini-css-extract-plugin": "^1.0.0",
+    "@types/mini-css-extract-plugin": "1.4.0",
     "@types/node": "^14.0.11",
     "@types/node-fetch": "^2.5.8",
     "@types/terser-webpack-plugin": "^4.1.0",
@@ -112,7 +112,7 @@
     "source-map": "https://github.com/benthemonkey/source-map.git#d95423f77edef6cbb9e21d2d6014c7de85ae220a",
     "stylelint": "^13.0.0",
     "stylelint-config-prettier": "^8.0.2",
-    "stylelint-config-standard": "^20.0.0",
+    "stylelint-config-standard": "^21.0.0",
     "svgo": "^2.0.3",
     "swagger-parser": "^10.0.0",
     "ts-node": "^9.1.1",

version.py

@@ -45,4 +45,4 @@ API_FEATURE_LEVEL = 51
 #   historical commits sharing the same major version, in which case a
 #   minor version bump suffices.
 
-PROVISION_VERSION = "138.1"
+PROVISION_VERSION = "139.0"