1; if ($multiple) { $output = t('input formats') .':'; } if (count($tips)) { if ($multiple) { $output .= ''; } } return $output; }