From 16a322211e7b68132199d0cc7495a1c53220a106 Mon Sep 17 00:00:00 2001 From: Andrey Antukh Date: Mon, 30 Jan 2017 19:16:00 +0100 Subject: [PATCH] Remove duplicate entries from externs. --- frontend/resources/externs/main.js | 3 --- 1 file changed, 3 deletions(-) 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() {},