admin_admin_manage_options($form)Theme function for manage options on admin/content/node, admin/user/user.
contrib-6/admin/theme/template.php, line 107
<?php
function admin_admin_manage_options($form) {
$output = "<div class='clear-block admin-options'>";
$output .= "<label>{$form['#title']}</label>";
foreach (element_children($form) as $id) {
$output .= drupal_render($form[$id]);
}
$output .= "</div>";
return $output;
}
?>