export { BadgeProps, default } from '../systems/WebCore/Badge/Badge.js';