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