2 files changed, 41 insertions, 0 deletions
diff --git a/extension/pages/show-db.html b/extension/pages/show-db.html
new file mode 100644
index 000000000..ee54d0e08
--- /dev/null
+++ b/extension/pages/show-db.html
@@ -0,0 +1,14 @@
+
+<!doctype html>
+
+<html>
+  <head>
+    <title>Taler Wallet: Reserve Created</title>
+    <link rel="stylesheet" type="text/css" href="../style/wallet.css"> 
+    <script src="show-db.js"></script>
+  </head>
+  <body>
+    <h1>DB Dump</h1>
+    <pre id="dump"></pre>
+  </body>
+</html>
diff --git a/extension/pages/show-db.js b/extension/pages/show-db.js
new file mode 100644
index 000000000..e2161f151
--- /dev/null
+++ b/extension/pages/show-db.js
@@ -0,0 +1,27 @@
+function replacer(match, pIndent, pKey, pVal, pEnd) {
+  var key = '<span class=json-key>';
+  var val = '<span class=json-value>';
+  var str = '<span class=json-string>';
+  var r = pIndent || '';
+  if (pKey)
+     r = r + key + pKey.replace(/[": ]/g, '') + '</span>: ';
+  if (pVal)
+     r = r + (pVal[0] == '"' ? str : val) + pVal + '</span>';
+  return r + (pEnd || '');
+}
+
+
+function prettyPrint(obj) {
+  var jsonLine = /^( *)("[\w]+": )?("[^"]*"|[\w.+-]*)?([,[{])?$/mg;
+  return JSON.stringify(obj, null, 3)
+     .replace(/&/g, '&amp;').replace(/\\"/g, '&quot;')
+     .replace(/</g, '&lt;').replace(/>/g, '&gt;')
+     .replace(jsonLine, replacer);
+}
+
+
+document.addEventListener("DOMContentLoaded", (e) => {
+  chrome.runtime.sendMessage({type:'dump-db'}, (resp) => {
+    document.getElementById('dump').innerHTML = prettyPrint(resp);
+  });
+});