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