tree b37459c7ac9447af651cb4056339610635f35d96
parent 19a1bb5570405650d9c5801e4033c1d1b67c25c1
author David Ostrovsky <david@ostrovsky.org> 1573847891 -0800
committer David Ostrovsky <david@ostrovsky.org> 1588705790 +0200

Convert legacy Polymer elements to class-based

The executed command in tools/polygerrit-updater was:

  $ npm run convert -- --i --root ~/reviewers/rv-reviewers --src \
   ~/reviewers/rv-reviewers \
   ~/reviewers/rv-reviewers/rv-filter-section.js

Change-Id: Id2427a7ac98e1c851d0d30d60451c322bc3cdca6