diff options
author | Juergen Daubert <jue@jue.li> | 2019-01-12 12:47:53 +0100 |
---|---|---|
committer | Juergen Daubert <jue@jue.li> | 2019-01-12 12:47:53 +0100 |
commit | de11d4b971b1857f9b9e409ac277de4906609996 (patch) | |
tree | 5dc969c1f282a2e3b0de3f9c106a3084247b749c /php/Pkgfile | |
parent | 5a4ebdc523514f382774f14ffbb3b5cf2bf5fbeb (diff) | |
download | opt-de11d4b971b1857f9b9e409ac277de4906609996.tar.gz opt-de11d4b971b1857f9b9e409ac277de4906609996.tar.xz |
[php] update to 7.2.14
security update, see
- http://php.net/archive/2019.php#id2019-01-10-1
- http://www.php.net/ChangeLog-7.php#7.2.14
Diffstat (limited to 'php/Pkgfile')
-rw-r--r-- | php/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php/Pkgfile b/php/Pkgfile index f9f325407..2694defe6 100644 --- a/php/Pkgfile +++ b/php/Pkgfile @@ -4,7 +4,7 @@ # Depends on: libpcre libxml2 curl db gdbm name=php -version=7.2.13 +version=7.2.14 release=1 source=(http://php.net/distributions/php-$version.tar.xz) |