diff --git a/frontend/resources/externs/main.js b/frontend/resources/externs/main.js index b8422407f..e44882577 100644 --- a/frontend/resources/externs/main.js +++ b/frontend/resources/externs/main.js @@ -2,10 +2,8 @@ var TopLevel = { "offsetX": function() {}, "offsetY": function() {}, "nativeEvent": function() {}, - "target": function() {}, "dataTransfer": function() {}, "dropEffect": function() {}, - "value": function() {}, "offsetHeight": function() {}, "offsetWidth": function() {}, "scrollTop": function() {}, @@ -22,7 +20,6 @@ var TopLevel = { "clientX": function() {}, "clientY": function() {}, "href": function() {}, - "value": function() {}, "identifier": function() {}, "getBoundingClientRect": function() {}, "getBBox": function() {},