diff options
| -rw-r--r-- | modules/filter/filter.pages.inc | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/modules/filter/filter.pages.inc b/modules/filter/filter.pages.inc index d85d29f1b..20c42095d 100644 --- a/modules/filter/filter.pages.inc +++ b/modules/filter/filter.pages.inc @@ -45,13 +45,12 @@ function theme_filter_tips($tips, $long = FALSE, $extra = '') { $output .= '<strong>'. $name .'</strong>:<br />'; } - $tips = ''; - foreach ($tiplist as $tip) { - $tips .= '<li'. ($long ? ' id="filter-'. str_replace("/", "-", $tip['id']) .'">' : '>') . $tip['tip'] .'</li>'; - } - - if ($tips) { - $output .= "<ul class=\"tips\">$tips</ul>"; + if (count($tiplist) > 0) { + $output .= '<ul class="tips">'; + foreach ($tiplist as $tip) { + $output .= '<li'. ($long ? ' id="filter-'. str_replace("/", "-", $tip['id']) .'">' : '>') . $tip['tip'] .'</li>'; + } + $output .= '</ul>'; } if ($multiple) { |