diff options
| author | Christopher Jones <sixd@php.net> | 2012-05-03 12:03:49 -0700 |
|---|---|---|
| committer | Christopher Jones <sixd@php.net> | 2012-05-03 12:03:49 -0700 |
| commit | 0956c00af999c295c5a13644ec835da8f96ad48d (patch) | |
| tree | 3a55d53bf56fe1a8898003daaa0fc5146e1ce27b /configure.in | |
| parent | bbf8a50281ae46c6572bd5e68f62826cde356a28 (diff) | |
| download | php-git-0956c00af999c295c5a13644ec835da8f96ad48d.tar.gz | |
Bump to next version
Bump PHP version number
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index f038f87494..b257cbb399 100644 --- a/configure.in +++ b/configure.in @@ -41,7 +41,7 @@ AC_CONFIG_HEADER(main/php_config.h) PHP_MAJOR_VERSION=5 PHP_MINOR_VERSION=3 -PHP_RELEASE_VERSION=12 +PHP_RELEASE_VERSION=13 PHP_EXTRA_VERSION="-dev" PHP_VERSION="$PHP_MAJOR_VERSION.$PHP_MINOR_VERSION.$PHP_RELEASE_VERSION$PHP_EXTRA_VERSION" PHP_VERSION_ID=`expr [$]PHP_MAJOR_VERSION \* 10000 + [$]PHP_MINOR_VERSION \* 100 + [$]PHP_RELEASE_VERSION` |