client: fix i18next config to generate i18n data correctly - #511

Open

virusbb001 wants to merge 10 commits into

leanprover-community:mainfrom

virusbb001:fix-client-i18n-config

Commits on Jun 21, 2026

fix i18next config to generate i18n data correctly
virusbb001
committed
bd0525c
de: adjust json for keySeparator: false
virusbb001
committed
990ab65
en: adjust json for keySeparator: false
virusbb001
committed
916460b
es: adjust json for keySeparator: false
virusbb001
committed
d0e4499
fr: adjust json for keySeparator: false
virusbb001
committed
b45ca22
ko: adjust json for keySeparator: false
virusbb001
committed
04ca030
uk: adjust json for keySeparator: false
virusbb001
committed
ebcd2c4
zh: adjust json for keySeparator: false
virusbb001
committed
a3e9a58
change removeUnusedKeys to false
virusbb001
committed
a077414
add missing translation keys
virusbb001
committed
2970682