name = Mini panels description = Create mini panels that can be used as blocks by Drupal and panes by other panel modules. package = "Panels" version = PANELS_VERSION dependencies[] = panels core = 7.x files[] = plugins/export_ui/panels_mini_ui.class.php ; Information added by Drupal.org packaging script on 2016-08-20 version = "7.x-3.7" core = "7.x" project = "panels" datestamp = "1471704242"