/* Compiled DB widget themes — admin/widget-themes. Auto-generated, do not edit. */