theme_user_filter_form($form)
user/user.module, line 2614
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;
}
?>