diff --git a/adminer/include/bootstrap.inc.php b/adminer/include/bootstrap.inc.php
index 84895396..6951da57 100644
--- a/adminer/include/bootstrap.inc.php
+++ b/adminer/include/bootstrap.inc.php
@@ -6,6 +6,7 @@ function adminer_errors($errno, $errstr) {
 error_reporting(6135); // errors and warnings
 set_error_handler('adminer_errors', E_WARNING);
 
+include "../adminer/include/debug.inc.php";
 include "../adminer/include/coverage.inc.php";
 
 // disable filter.default
diff --git a/adminer/include/debug.inc.php b/adminer/include/debug.inc.php
new file mode 100644
index 00000000..15353b51
--- /dev/null
+++ b/adminer/include/debug.inc.php
@@ -0,0 +1,14 @@
+<?php
+
+function dump($value)
+{
+	echo "<pre>";
+	var_export($value);
+	echo "</pre>\n";
+}
+
+function dumpe($value)
+{
+	dump($value);
+	exit;
+}