daenamnu/discord-api-types
1
0
Fork 0
mirror of https://github.com/discordjs/discord-api-types.git synced 2026-05-30 15:30:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

feat: add search that might or might not work

Browse Source
This commit is contained in:
Vlad Frangu
2022-08-09 12:55:23 +03:00
parent 3eb239ce0c
commit f8a9c8b5c6
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
website/docusaurus.config.js
View File

@@ -252,13 +252,13 @@ const config = {
theme: lightCodeTheme,
darkTheme: darkCodeTheme,
additionalLanguages: ['powershell', 'batch']
},
algolia: {
appId: 'TR1O0DBFL9',
apiKey: '6822440beca69053ab122881d75064dc',
indexName: 'discord-api-types',
contextualSearch: false
}
// algolia: {
// appId: 'TO_BE_DONE',
// apiKey: 'TO_BE_DONE',
// indexName: 'TO_BE_DONE',
// contextualSearch: false
// }
})
};