From d200f4e12543016e30c51661fb46d4185ed6be95 Mon Sep 17 00:00:00 2001 From: Divyansh Singh <40380293+brc-dd@users.noreply.github.com> Date: Sun, 10 Nov 2024 18:49:27 +0530 Subject: [PATCH] docs: update search plugin list --- docs/en/reference/default-theme-search.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/docs/en/reference/default-theme-search.md b/docs/en/reference/default-theme-search.md index a83ae5ffa315..16bb928953d5 100644 --- a/docs/en/reference/default-theme-search.md +++ b/docs/en/reference/default-theme-search.md @@ -24,7 +24,11 @@ Example result: ![screenshot of the search modal](/search.png) -Alternatively, you can use [Algolia DocSearch](#algolia-search) or some community plugins like or . +Alternatively, you can use [Algolia DocSearch](#algolia-search) or some community plugins like: + +- +- +- ### i18n {#local-search-i18n}