// Not really a widget: no need to log its lack of promotion
} else {
this.info("made UNPROMOTED widget(type=" + type + ", node=" + node + ")");
// Not really a widget: no need to log its lack of promotion
} else {
this.info("made UNPROMOTED widget(type=" + type + ", node=" + node + ")");