feat: wiki search using git-grep

+ add release note
This commit is contained in:
Shiny Nematoda 2024-05-20 12:23:27 +00:00
parent d6915f4d5f
commit ec4f5495ba
10 changed files with 107 additions and 0 deletions

View file

@ -2016,6 +2016,8 @@ wiki.pages = Pages
wiki.last_updated = Last updated %s
wiki.page_name_desc = Enter a name for this Wiki page. Some special names are: "Home", "_Sidebar" and "_Footer".
wiki.original_git_entry_tooltip = View original Git file instead of using friendly link.
wiki.search = Search wiki
wiki.no_search_results = No results
activity = Activity
activity.navbar.pulse = Pulse