Remove MixedNamespaceSearchSuggestions

Bug: T10620
miraheze · Feb 7, 2024 · 1bf4421 · 1bf4421
1 parent 9dd208d
commit 1bf4421
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/mediawiki-repos.yaml b/mediawiki-repos.yaml
@@ -659,10 +659,6 @@ MirahezeMagic:
   path: extensions/MirahezeMagic
   repo_url: https://github.com/miraheze/MirahezeMagic
   latest: true
-MixedNamespaceSearchSuggestions:
-  branch: _branch_
-  path: extensions/MixedNamespaceSearchSuggestions
-  repo_url: https://github.com/wikimedia/mediawiki-extensions-MixedNamespaceSearchSuggestions
 MobileDetect:
   branch: master
   path: extensions/MobileDetect