xref: /plugin/mermaid/lang/en/settings.php (revision a788b843e9a2adc60e3c702d7f3dee0088d3c997) 
1<?php
2
3$lang['location'] = 'Use locally or remotely hosted mermaid file?';
4$lang['location_o_local'] = 'locally hosted, version 11.2.1 (CJS)';
5$lang['location_o_latest'] = 'remotely hosted, latest version (ESM)';
6$lang['location_o_remote943'] = 'remotely hosted, version 9.4.3 (CJS)';
7$lang['location_o_remote1091'] = 'remotely hosted, version 10.9.1 (ESM)';
8
9// old options, no longer explicitly available
10$lang['location_o_remote108'] = 'remotely hosted, version 10.8 (ESM)';
11$lang['location_o_remote106'] = 'remotely hosted, version 10.6 (ESM)';
12$lang['location_o_remote104'] = 'remotely hosted, version 10.4 (ESM)';
13$lang['location_o_remote103'] = 'remotely hosted, version 10.3 (ESM)';
14$lang['location_o_remote102'] = 'remotely hosted, version 10.2 (ESM)';
15$lang['location_o_remote101'] = 'remotely hosted, version 10.1 (ESM)';
16$lang['location_o_remote100'] = 'remotely hosted, version 10.0 (ESM)';
17$lang['location_o_remote94'] = 'remotely hosted, version 9.4 (CJS)';
18$lang['location_o_remote93'] = 'remotely hosted, version 9.3 (CJS)';
19
20$lang['theme'] = 'Default theme';
21$lang['theme_o_default'] = 'default';
22$lang['theme_o_neutral'] = 'neutral';
23$lang['theme_o_dark'] = 'dark';
24$lang['theme_o_forest'] = 'forest';
25$lang['theme_o_base'] = 'base';