website/third-party-libs/zepto.js
function fix(event) {
    if (!('defaultPrevented' in event)) {
      event.defaultPrevented = false
      var prevent = event.preventDefault
      event.preventDefault = function() {
        this.defaultPrevented = true
        prevent.call(this)
      }
    }
  }
function fix(event) {
    if (!('defaultPrevented' in event)) {
      event.defaultPrevented = false
      var prevent = event.preventDefault
      event.preventDefault = function() {
        this.defaultPrevented = true
        prevent.call(this)
      }
    }
  }
function fix ( event ) { if ( ! ( 'defaultPrevented' in event ) ) { event . defaultPrevented = false var prevent = event . preventDefault event . preventDefault = function ( ) { this . defaultPrevented = true prevent . call ( this ) } } }
emulates the 'defaultPrevented' property for browsers that have none
emulates the defaultPrevented property for browsers that have none