One day we'll have ignored all purely numeric hashtags like #33. Found yet another...

diff --git a/include/text.php b/include/text.php
index 536c998de6d3dd258c0427ea66e13673cee8c4e2..33add768f88980404d93989f7d0dc469a4676c83 100644 (file)
--- a/include/text.php
+++ b/include/text.php
@@ -482,13 +482,12 @@ function get_tags($s) {
                                // we might be inside a bbcode color tag - leave it alone
                                continue;
                        }
+                       if(substr($mtch,-1,1) === '.')
+                               $mtch = substr($mtch,0,-1);
                        // ignore strictly numeric tags like #1
                        if((strpos($mtch,'#') === 0) && ctype_digit(substr($mtch,1)))
                                continue;
-                       if(substr($mtch,-1,1) === '.')
-                               $ret[] = substr($mtch,0,-1);
-                       else
-                               $ret[] = $mtch;
+                       $ret[] = $mtch;
                }
        }
        return $ret;