theme_user_filter_form($form)
user/user.admin.inc, line 972
Theme user administration filter form.
<?php
function theme_user_filter_form($form) {
$output = '<div id="user-admin-filter">';
$output .= drupal_render($form['filters']);
$output .= '</div>';
$output .= drupal_render($form);
return $output;
}
?>