Icons: Extend type-checking to the icon names, and small other cleanups.#3635

Merged

gnprice merged 4 commits intozulip:masterfrom gnprice:icons

Jun 10, 2020

+70-58

Commits on Jun 9, 2020

Commits on Jun 10, 2020

Icons: Cut unused icons.
gnprice
committed