1<?php
2
3$lang['location'] = 'Use locally or remotely hosted mermaid file?';
4$lang['location_o_local'] = 'locally hosted, version 10.8.0 (CJS)';
5$lang['location_o_latest'] = 'remotely hosted, latest version (ESM)';
6$lang['location_o_remote108'] = 'remotely hosted, version 10.8 (ESM)';
7$lang['location_o_remote106'] = 'remotely hosted, version 10.6 (ESM)';
8$lang['location_o_remote104'] = 'remotely hosted, version 10.4 (ESM)';
9$lang['location_o_remote103'] = 'remotely hosted, version 10.3 (ESM)';
10$lang['location_o_remote102'] = 'remotely hosted, version 10.2 (ESM)';
11$lang['location_o_remote101'] = 'remotely hosted, version 10.1 (ESM)';
12$lang['location_o_remote100'] = 'remotely hosted, version 10.0 (ESM)';
13$lang['location_o_remote94'] = 'remotely hosted, version 9.4 (CJS)';
14$lang['location_o_remote93'] = 'remotely hosted, version 9.3 (CJS)';
15$lang['theme'] = 'Default theme';
16$lang['theme_o_default'] = 'default';
17$lang['theme_o_neutral'] = 'neutral';
18$lang['theme_o_dark'] = 'dark';
19$lang['theme_o_forest'] = 'forest';
20$lang['theme_o_base'] = 'base';