From 3fa1eadf2c25a04e563f594232f78e35b11c5c7d Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Sat, 18 Feb 2017 17:31:54 +0100
Subject: [PATCH] Use null instead of undefined on after parsing JSON

---
 adminer/static/functions.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index 71065313..392e84ea 100644
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -239,7 +239,7 @@ function checkboxClick(event, el) {
 function setHtml(id, html) {
 	var el = document.getElementById(id);
 	if (el) {
-		if (html == undefined) {
+		if (html == null) {
 			el.parentNode.innerHTML = '&nbsp;';
 		} else {
 			el.innerHTML = html;