lib/Ext/util/Format.js
function(value) {
        return ! value ? value: String(value).replace(/&/g, "&amp;").replace(/>/g, "&gt;").replace(/</g, "&lt;").replace(/"/g, "&quot;");
    }
function(value) {
        return ! value ? value: String(value).replace(/&/g, "&amp;").replace(/>/g, "&gt;").replace(/</g, "&lt;").replace(/"/g, "&quot;");
    }
Convert certain characters (&, <, >, and ') to their HTML character equivalents for literal display in web pages.
@param {String} value The string to encode.
@return {String} The encoded text.