Allow using json_row() in HTML

diff --git a/adminer/include/functions.inc.php b/adminer/include/functions.inc.php
index 6077b056ba79aadfd07f506ae35947efb16d6ed4..74e96f4aac78644d9dbf5f83d793d4e26fa3e992 100644 (file)
--- a/adminer/include/functions.inc.php
+++ b/adminer/include/functions.inc.php
@@ -220,7 +220,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\"\\/") . '"' : 'undefined');
                $first = false;
        } else {
                echo "\n}\n";