Function stripQuotes

lib/web/renderjson.js:77–77

(txt)

    var isempty = function(obj) { for (var k in obj) if (obj.hasOwnProperty(k)) return false;
                                  return true; }
    var stripQuotes = function(txt) { if (txt.startsWith("\"") && txt.endsWith("\"")) return txt.substring(1, txt.length-1); else return txt;}
    var text = function(txt) { return document.createTextNode(stripQuotes(txt)) };
    var div = function() { return document.createElement("div") };
    var span = function(classname) { var s = document.createElement("span");