- Patch #245115 by kkaefer, John Morahan, JohnAlbin et al: after a long discussion we've decided to make the concatenation operator consistent with the other operators.

1 files changed, 3 insertions, 3 deletions

diff --git a/modules/filter/filter.pages.inc b/modules/filter/filter.pages.inc
index 20c42095d..46af8bdcd 100644
--- a/modules/filter/filter.pages.inc
+++ b/modules/filter/filter.pages.inc
@@ -32,7 +32,7 @@ function theme_filter_tips($tips, $long = FALSE, $extra = '') {
 
   $multiple = count($tips) > 1;
   if ($multiple) {
-    $output = t('input formats') .':';
+    $output = t('input formats') . ':';
   }
 
   if (count($tips)) {
@@ -42,13 +42,13 @@ function theme_filter_tips($tips, $long = FALSE, $extra = '') {
     foreach ($tips as $name => $tiplist) {
       if ($multiple) {
         $output .= '<li>';
-        $output .= '<strong>'. $name .'</strong>:<br />';
+        $output .= '<strong>' . $name . '</strong>:<br />';
       }
 
       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 .= '<li' . ($long ? ' id="filter-' . str_replace("/", "-", $tip['id']) . '">' : '>') . $tip['tip'] . '</li>';
         }
         $output .= '</ul>';
       }