| Index: third_party/polymer/v1_0/find_unused_elements.py
|
| diff --git a/third_party/polymer/v1_0/find_unused_elements.py b/third_party/polymer/v1_0/find_unused_elements.py
|
| index 5dbacdbdcbcec33a1c587eb987f182fc234e3025..337efae36961bda2ea6627b416a2896ac1ef86ce 100644
|
| --- a/third_party/polymer/v1_0/find_unused_elements.py
|
| +++ b/third_party/polymer/v1_0/find_unused_elements.py
|
| @@ -133,11 +133,6 @@ class UnusedElementsDetector(object):
|
| if not filename.endswith('.html') and not filename.endswith('.js'):
|
| continue
|
|
|
| - # Skip generated files that may include the element source.
|
| - if filename in ('crisper.js', 'vulcanized.html',
|
| - 'app.crisper.js', 'app.vulcanized.html'):
|
| - continue
|
| -
|
| with open(os.path.join(dirpath, filename)) as f:
|
| text = f.read()
|
| if not re.search('/%s/' % element_dir, text):
|
|
|