remove dupe sc

rustagir · rustagir · commit d5a8d53d8965 · 2024-09-26T15:35:09.000-04:00
diff --git a/snooty.toml b/snooty.toml
@@ -44,4 +44,3 @@ stable-api = "Stable API"
 library-short = "PHP library"
 api = "https://www.mongodb.com/docs/php-library/current/reference"
 php-manual = "https://www.php.net/manual/en"
-extension-short = "PHP extension"
