Changed 'undefined' to 'null'

'undefined' is not a valid JSON attribute value and should been 'null'

diff --git a/adminer/include/functions.inc.php b/adminer/include/functions.inc.php
index e7bdb16247f784d72a4ae622f7fbac3c7a75acc6..8b97138d15aff35bf8c61ddc086b8a541eac2baa 100644 (file)
--- a/adminer/include/functions.inc.php
+++ b/adminer/include/functions.inc.php
@@ -243,7 +243,7 @@ function json_row($key, $val = null) {
                echo "{";
        }
        if ($key != "") {
-               echo ($first ? "" : ",") . "\n\t\"" . addcslashes($key, "\r\n\"\\/") . '": ' . ($val !== null ? '"' . addcslashes($val, "\r\n\"\\/") . '"' : 'undefined');
+               echo ($first ? "" : ",") . "\n\t\"" . addcslashes($key, "\r\n\"\\/") . '": ' . ($val !== null ? '"' . addcslashes($val, "\r\n\"\\/") . '"' : 'null');
                $first = false;
        } else {
                echo "\n}\n";