From b9cd8de8222a841aa087a68c748e76b7868c3e2e Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Fri, 21 Jul 2023 14:20:54 -0700
Subject: [PATCH] eslint: Follow @typescript-eslint/no-parameter-properties
 rule rename.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 .eslintrc.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.eslintrc.json b/.eslintrc.json
index f31c3af72d..3f96956909 100644
--- a/.eslintrc.json
+++ b/.eslintrc.json
@@ -179,7 +179,6 @@
                 ],
                 "@typescript-eslint/member-ordering": "error",
                 "@typescript-eslint/no-non-null-assertion": "off",
-                "@typescript-eslint/no-parameter-properties": "error",
                 "@typescript-eslint/no-unnecessary-condition": "off",
                 "@typescript-eslint/no-unnecessary-qualifier": "error",
                 "@typescript-eslint/no-unsafe-argument": "off",
@@ -192,6 +191,7 @@
                     {"args": "all", "argsIgnorePattern": "^_", "ignoreRestSiblings": true}
                 ],
                 "@typescript-eslint/no-use-before-define": ["error", {"functions": false}],
+                "@typescript-eslint/parameter-properties": "error",
                 "@typescript-eslint/promise-function-async": "error",
                 "import/no-cycle": "error",
                 "no-undef": "error"