diff -r 32429702305e -r c72b545f1304 install.php
--- a/install.php	Fri Dec 21 19:08:27 2007 -0500
+++ b/install.php	Wed Dec 26 00:37:26 2007 -0500
@@ -1071,8 +1071,7 @@
     break;
   case 'langjs':
     header('Content-type: text/javascript');
-    $json = new Services_JSON(SERVICES_JSON_LOOSE_TYPE);
-    $lang_js = $json->encode($lang->strings);
+    $lang_js = enano_json_encode($lang->strings);
     // use EEOF here because jEdit misinterprets "typ'eof'"
     echo <<<EEOF
 if ( typeof(enano_lang) != 'object' )