equal
deleted
inserted
replaced
1069 EOF; |
1069 EOF; |
1070 exit; |
1070 exit; |
1071 break; |
1071 break; |
1072 case 'langjs': |
1072 case 'langjs': |
1073 header('Content-type: text/javascript'); |
1073 header('Content-type: text/javascript'); |
1074 $json = new Services_JSON(SERVICES_JSON_LOOSE_TYPE); |
1074 $lang_js = enano_json_encode($lang->strings); |
1075 $lang_js = $json->encode($lang->strings); |
|
1076 // use EEOF here because jEdit misinterprets "typ'eof'" |
1075 // use EEOF here because jEdit misinterprets "typ'eof'" |
1077 echo <<<EEOF |
1076 echo <<<EEOF |
1078 if ( typeof(enano_lang) != 'object' ) |
1077 if ( typeof(enano_lang) != 'object' ) |
1079 var enano_lang = new Object(); |
1078 var enano_lang = new Object(); |
1080 |
1079 |