hir/db/sidebar-items.js

window.SIDEBAR_ITEMS = {"trait":["DefDatabase","ExpandDatabase","HirDatabase"]};