1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
import { defineMessages } from 'react-intl';
export default defineMessages({
APIUnhealthy: {
id: 'global.api.unhealthy',
defaultMessage: '!!!Can\'t connect to Ferdi Online Services',
},
notConnectedToTheInternet: {
id: 'global.notConnectedToTheInternet',
defaultMessage: '!!!You are not connected to the internet.',
},
spellcheckerLanguage: {
id: 'global.spellchecking.language',
defaultMessage: '!!!Spell checking language',
},
spellcheckerSystemDefault: {
id: 'global.spellchecker.useDefault',
defaultMessage: '!!!Use System Default ({default})',
},
spellcheckerAutomaticDetection: {
id: 'global.spellchecking.autodetect',
defaultMessage: '!!!Detect language automatically',
},
spellcheckerAutomaticDetectionShort: {
id: 'global.spellchecking.autodetect.short',
defaultMessage: '!!!Automatic',
},
userAgentPref: {
id: 'global.userAgentPref',
defaultMessage: '!!!User Agent',
},
userAgentHelp: {
id: 'global.userAgentHelp',
defaultMessage: "!!!Use 'https://whatmyuseragent.com/' (to discover) or 'https://developers.whatismybrowser.com/useragents/explore/' (to choose) your desired user agent and copy-paste it here.",
},
});
|
