revert

diff --git a/main/php_version.h b/main/php_version.h
index 9d399127de4ac30f005a1850986c7a645dfe3432..86df2caba5fd625b15041e164288b329d9d5fec6 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 12
-#define PHP_EXTRA_VERSION "RC4-dev"
-#define PHP_VERSION "5.2.12RC4-dev"
-#define PHP_VERSION_ID 50212
+#define PHP_RELEASE_VERSION 13
+#define PHP_EXTRA_VERSION "-dev"
+#define PHP_VERSION "5.2.13-dev"
+#define PHP_VERSION_ID 50213
\ No newline at end of file