Index: includes/theme.inc
===================================================================
RCS file: /cvs/drupal/drupal/includes/theme.inc,v
retrieving revision 1.532
diff -u -p -r1.532 theme.inc
--- includes/theme.inc	9 Oct 2009 00:59:54 -0000	1.532
+++ includes/theme.inc	9 Oct 2009 14:59:52 -0000
@@ -1626,6 +1626,11 @@ function theme_table($variables) {
     $attributes['class'][] = 'sticky-enabled';
   }
 
+  // Attach tablefilter behavior, if required.
+  if (in_array('tablefilter', $attributes['class'])) {
+    drupal_add_js('misc/tablefilter.js');
+  }
+
   $output = '<table' . drupal_attributes($attributes) . ">\n";
 
   if (isset($caption)) {
Index: modules/system/system.admin.inc
===================================================================
RCS file: /cvs/drupal/drupal/modules/system/system.admin.inc,v
retrieving revision 1.209
diff -u -p -r1.209 system.admin.inc
--- modules/system/system.admin.inc	9 Oct 2009 01:00:05 -0000	1.209
+++ modules/system/system.admin.inc	9 Oct 2009 14:59:53 -0000
@@ -2212,7 +2212,7 @@ function theme_system_modules_fieldset($
     $rows[] = $row;
   }
 
-  return theme('table', array('header' => $form['#header'], 'rows' => $rows));
+  return theme('table', array('header' => $form['#header'], 'rows' => $rows, 'attributes' => array('class' => array('tablefilter'))));
 }
 
 /**