Sync with var_unserializer.re

ext/standard/var_unserializer.c

@@ -1,4 +1,4 @@
-/* Generated by re2c 0.5 on Sun Aug 18 15:18:22 2002 */
+/* Generated by re2c 0.5 on Mon Aug 19 22:01:10 2002 */
 #line 1 "var_unserializer.re"
 #include "php.h"
 #include "ext/standard/php_var.h"
@@ -581,13 +581,24 @@ yy45:	yych = *++YYCURSOR;
 yy46:	++YYCURSOR;
 	if(YYLIMIT == YYCURSOR) YYFILL(1);
 	yych = *YYCURSOR;
-yy47:	if(yych <= '/'){
-		if(yych == '.')	goto yy58;
-		goto yy2;
+yy47:	if(yych <= ':'){
+		if(yych <= '.'){
+			if(yych <= '-')	goto yy2;
+			goto yy58;
+		} else {
+			if(yych <= '/')	goto yy2;
+			if(yych <= '9')	goto yy46;
+			goto yy2;
+		}
 	} else {
-		if(yych <= '9')	goto yy46;
-		if(yych == ';')	goto yy51;
-		goto yy2;
+		if(yych <= 'E'){
+			if(yych <= ';')	goto yy51;
+			if(yych <= 'D')	goto yy2;
+			goto yy53;
+		} else {
+			if(yych == 'e')	goto yy53;
+			goto yy2;
+		}
 	}
 yy48:	yych = *++YYCURSOR;
 	if(yych <= '/')	goto yy2;