From eb8510cb394c2c7683ffc45c6ea54a5f334c54be Mon Sep 17 00:00:00 2001
From: Shoghy Martinez <54950187+Shoghy@users.noreply.github.com>
Date: Fri, 10 Oct 2025 13:21:18 -0400
Subject: [PATCH] docs: Fix grammar in sentence about overridden dev extension
 (#39968)

Added missing comma after "After installing" and removed duplicated
"that" in developing-extensions.md.

Release Notes:

- N/A
---
 docs/src/extensions/developing-extensions.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/src/extensions/developing-extensions.md b/docs/src/extensions/developing-extensions.md
index ae801dd9da7f0e35bd15d705dc71601fba97dae5..b624077a7ef99c4ebf4ccd9e9c66382388392b60 100644
--- a/docs/src/extensions/developing-extensions.md
+++ b/docs/src/extensions/developing-extensions.md
@@ -25,7 +25,7 @@ If you need to troubleshoot, you can check the Zed.log ({#action zed::OpenLog})
 
 If you already have a published extension with the same name installed, your dev extension will override it.
 
-After installing the `Extensions` page will indicate that that the upstream extension is "Overridden by dev extension".
+After installing, the `Extensions` page will indicate that the upstream extension is "Overridden by dev extension".
 
 Pre-installed extensions with the same name have to be uninstalled before installing the dev extension. See [#31106](https://github.com/zed-industries/zed/issues/31106) for more.