Make ModifyFeature-tools.js compatible with IE8.