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';