if (typeof console !== “undefined” && console.history) {

console.history = [];

}