ignore any fully numeric hash tag

diff --git a/boot.php b/boot.php
index a72fbf6734269b63a822757a369696cfc4794fe5..ae6c1bd0901bcc725000ffb816552efe3f92574e 100644 (file)
--- a/boot.php
+++ b/boot.php
@@ -2075,7 +2075,7 @@ function get_tags($s) {
                                continue;
                        }
                        // ignore strictly numeric tags like #1
-                       if((strpos($mtch,'#') === 0) && ctype_digit(substr($mtch,1)))
+                       if((strpos($mtch,'#') === 0) && ctype_digit($mtch))
                                continue;
                        if(substr($mtch,-1,1) === '.')
                                $ret[] = substr($mtch,0,-1);