autocomplete: back to custom json encoding (for compat with older PHP implementations...

diff --git a/demos/autocomplete/search.php b/demos/autocomplete/search.php
index af490522e112d35269a8ef307771690ffbd6fac5..4644caf5cbc9e061104334005cc8f37b5166ab41 100644 (file)
--- a/demos/autocomplete/search.php
+++ b/demos/autocomplete/search.php
@@ -588,13 +588,13 @@ function array_to_json( $array ){
             if( is_numeric($key) ){
                 $key = "key_$key";
             }
-            $key = "'".addslashes($key)."'";
+            $key = "\"".addslashes($key)."\"";
 
             // Format the value:
             if( is_array( $value )){
                 $value = array_to_json( $value );
             } else if( !is_numeric( $value ) || is_string( $value ) ){
-                $value = "'".addslashes($value)."'";
+                $value = "\"".addslashes($value)."\"";
             }
 
             // Add to staging array: