Browse Source

fix(pdf): add externs for release optimization

charlie 4 years ago
parent
commit
d8d88b2449
1 changed files with 6 additions and 0 deletions
  1. 6 0
      externs.js

+ 6 - 0
externs.js

@@ -110,6 +110,12 @@ dummy.dropNode = function() {};
 dummy.dropEdge = function() {};
 dummy.unhoverNode = function() {};
 
+dummy.bounding = function() {};
+dummy.getPageView = function() {};
+dummy.convertToPdfPoint = function() {};
+dummy.scrollPageIntoView = function() {};
+dummy.convertToViewportRectangle = function() {};
+
 /**
  * @typedef {{
  *     recursive: (undefined | boolean),