function theme_tmgmt_ui_element in Translation Management Tool 7
Generic theme function for use with Render API.
Renders the #title and #attributes properties if they are present.
File
- ui/includes/ tmgmt_ui.theme.inc, line 13 
- Theme file stub for tmgmt.
Code
function theme_tmgmt_ui_element($variables) {
  $element = $variables['element'];
  // Use the #title attribute.
  $title = '';
  if (!empty($element['#title'])) {
    $title = '<h3>' . check_plain($element['#title']) . '</h3>';
  }
  // Use #attributes to customize a wrapper <div>.
  $attributes = '';
  if (!empty($element['#attributes'])) {
    $attributes = drupal_attributes($element['#attributes']);
  }
  // Render any child items.
  if (!$element['#children']) {
    $element['#children'] = drupal_render_children($element);
  }
  // Build simple output.
  $output = "<div{$attributes}>{$title}{$element['#children']}</div>";
  return $output;
}