Remove unused externs.

Polymer · Mar 26, 2020 · 0da4e63 · 0da4e63
1 parent 20b207e
commit 0da4e63
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/externs/polymer-externs.js b/externs/polymer-externs.js
@@ -138,15 +138,9 @@ Polymer.syncInitialRender;
 /** @type {boolean} */
 Polymer.legacyUndefined;
 
-/** @type {boolean} */
-Polymer.legacyNoBatch;
-
 /** @type {boolean} */
 Polymer.legacyWarnings;
 
-/** @type {boolean} */
-Polymer.legacyNotifyOrder;
-
 /** @type {boolean} */
 Polymer.orderedComputed;