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