missed to commit in 5_3, here it comes, reusability of stats

diff --git a/main/php_version.h b/main/php_version.h
index 3fce7f8254c68799b0020470a66e1fac39168e78..9d399127de4ac30f005a1850986c7a645dfe3432 100644 (file)
--- a/main/php_version.h
+++ b/main/php_version.h
@@ -2,7 +2,7 @@
 /* edit configure.in to change version number */
 #define PHP_MAJOR_VERSION 5
 #define PHP_MINOR_VERSION 2
-#define PHP_RELEASE_VERSION 13
-#define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "5.2.13-dev"
-#define PHP_VERSION_ID 50213
+#define PHP_RELEASE_VERSION 12
+#define PHP_EXTRA_VERSION "RC4-dev"
+#define PHP_VERSION "5.2.12RC4-dev"
+#define PHP_VERSION_ID 50212