diff options
| author | Julien Pauli <jpauli@php.net> | 2016-03-02 11:10:05 +0100 |
|---|---|---|
| committer | Julien Pauli <jpauli@php.net> | 2016-03-02 11:10:05 +0100 |
| commit | 8f0acd6a9022e01f5c438c395eb619f34f89567e (patch) | |
| tree | b5b24a7fe7d49a19ead98b464bb5ad5b48942739 /main/php_version.h | |
| parent | 3c8ccdd9d301a59e0ea33bc7d6b395156b324084 (diff) | |
| download | php-git-8f0acd6a9022e01f5c438c395eb619f34f89567e.tar.gz | |
5.5.33php-5.5.33PHP-5.5.33
Diffstat (limited to 'main/php_version.h')
| -rw-r--r-- | main/php_version.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/main/php_version.h b/main/php_version.h index e9feae6a51..9fd07241ce 100644 --- a/main/php_version.h +++ b/main/php_version.h @@ -3,6 +3,6 @@ #define PHP_MAJOR_VERSION 5 #define PHP_MINOR_VERSION 5 #define PHP_RELEASE_VERSION 33 -#define PHP_EXTRA_VERSION "-dev" -#define PHP_VERSION "5.5.33-dev" +#define PHP_EXTRA_VERSION "" +#define PHP_VERSION "5.5.33" #define PHP_VERSION_ID 50533 |