Function normalizePreservedKey

apps/json-format/json-worker.js:59–64

(key)

}

function normalizePreservedKey(key) {
    if (typeof key === 'string' && key.indexOf(PRESERVED_INTEGER_KEY_PREFIX) === 0) {
        return key.slice(PRESERVED_INTEGER_KEY_PREFIX.length);
    }
    return key;
}

function safeStringify(obj, space) {
    const tagged = JSON.stringify(obj, function(key, value) {