diff options
| -rw-r--r-- | modules/filter/filter.module | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/modules/filter/filter.module b/modules/filter/filter.module index 7d644f3e3..833ae4e79 100644 --- a/modules/filter/filter.module +++ b/modules/filter/filter.module @@ -809,7 +809,7 @@ function filter_form($value = FILTER_FORMAT_DEFAULT, $weight = NULL, $parents = $value = filter_resolve_format($value); $formats = filter_formats(); - $extra = l(t('More information about formatting options'), 'filter/tips'); + $extra = theme('filter_tips_more_info'); if (count($formats) > 1) { $form = array( @@ -962,6 +962,16 @@ function theme_filter_tips($tips, $long = FALSE, $extra = '') { } /** + * Format a link to the more extensive filter tips. + * + * @ingroup themeable + */ + +function theme_filter_tips_more_info() { + return l(t('More information about formatting options'), 'filter/tips'); +} + +/** * @name Standard filters * @{ * Filters implemented by the filter.module. |