Changeset 84

Timestamp:

03/20/2009 10:38:37 PM (3 years ago)

Author:

ofer

Message:

Update to the number code, looks a bit better on transposh.org

File:

• trunk/WordPress/plugin/transposh/parser.php (modified) (5 diffs)

trunk/WordPress/plugin/transposh/parser.php

@@ -424 +424 @@
                                 translate_text($start);
                                 $pos = $start = $end_of_number;
-                        }                       
+                        }
                         else
                         {
@@ -585 +585 @@
 /*
  * Determines if the current position marks the begining of a number, e.g. 123 050-391212232
- * 
- * Return 0 if not a number otherwise return the position past this number. 
+ *
+ * Return 0 if not a number otherwise return the position past this number.
  */
 function is_number($position)
@@ -592 +592 @@
         global $page;
         $start = $position;
-        
-        while(is_digit($position) || $page[$position] == '-' || $page[$position] == '+')
+
+        while(is_digit($position) || $page[$position] == '-' || $page[$position] == '+' ||
+         (($page[$position] == ',' || $page[$position] == '.' || $page[$position] == '\\' || $page[$position] == '/') && is_digit($position+1)))
         {
                 $position++;
         }
-        
+
         if($position != $start && (is_white_space($position) || $page[$position] == '<'))
         {
-                return $position;               
-        }
-        
+                return $position;
+        }
+
         return 0;
 }
@@ -783 +784 @@
                 // We will mark translated text with tr_t class and untranslated with tr_u
                 $span = "<span class=\"$span_prefix";
-                
+
                 //Use base64 encoding to make that when the page is translated (i.e. update_translation) we
-        //get back exactlly the same string without having the client decode/encode it in anyway. 
+        //get back exactlly the same string without having the client decode/encode it in anyway.
         $token = "token=\"" . base64_encode($original_text) . "\"";
-                
+
         if($translated_text == NULL)
                 {
@@ -821 +822 @@
                 }
         }
-        
+
         logger("Exit " . __METHOD__  . " : $original_text" , 4);
 }