Index: modules/filter/filter.admin.inc
===================================================================
RCS file: /cvs/drupal/drupal/modules/filter/filter.admin.inc,v
retrieving revision 1.17
diff -u -p -r1.17 filter.admin.inc
--- modules/filter/filter.admin.inc	15 Nov 2008 08:23:07 -0000	1.17
+++ modules/filter/filter.admin.inc	3 Dec 2008 00:48:58 -0000
@@ -160,7 +160,7 @@ function filter_admin_format_form(&$form
     // Composition tips (guidelines)
     $tips = _filter_tips($format->format, FALSE);
     $extra = '<p>' . l(t('More information about formatting options'), 'filter/tips') . '</p>';
-    $tiplist = theme('filter_tips', $tips, FALSE, $extra);
+    $tiplist = theme('filter_tips', $tips, FALSE);
     if (!$tiplist) {
       $tiplist = '<p>' . t('No guidelines available.') . '</p>';
     }
Index: modules/filter/filter.module
===================================================================
RCS file: /cvs/drupal/drupal/modules/filter/filter.module,v
retrieving revision 1.234
diff -u -p -r1.234 filter.module
--- modules/filter/filter.module	15 Nov 2008 11:45:03 -0000	1.234
+++ modules/filter/filter.module	3 Dec 2008 00:49:26 -0000
@@ -516,7 +516,7 @@ function filter_form($value = FILTER_FOR
     $tips = _filter_tips(variable_get('filter_default_format', 1), FALSE);
     $form['format']['guidelines'] = array(
       '#title' => t('Formatting guidelines'),
-      '#markup' => theme('filter_tips', $tips, FALSE, $extra),
+      '#markup' => theme('filter_tips', $tips, FALSE),
     );
   }
   $form[] = array('#markup' => $extra);
Index: modules/filter/filter.pages.inc
===================================================================
RCS file: /cvs/drupal/drupal/modules/filter/filter.pages.inc,v
retrieving revision 1.3
diff -u -p -r1.3 filter.pages.inc
--- modules/filter/filter.pages.inc	14 Apr 2008 17:48:37 -0000	1.3
+++ modules/filter/filter.pages.inc	3 Dec 2008 00:48:43 -0000
@@ -27,7 +27,7 @@ function filter_tips_long() {
  *
  * @ingroup themeable
  */
-function theme_filter_tips($tips, $long = FALSE, $extra = '') {
+function theme_filter_tips($tips, $long = FALSE) {
   $output = '';
 
   $multiple = count($tips) > 1;