diff options
| author | Juergen Daubert <jue@jue.li> | 2019-03-08 13:51:00 +0100 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2019-03-08 13:51:00 +0100 |
| commit | efe06a53223cd93f1091b087245c86df98576322 (patch) | |
| tree | 687047cc366e9f2fbebc51148c651bc41dcf6a60 /php/Pkgfile | |
| parent | 696d6bec035857e96e85bccdf185aeb1a7aa5191 (diff) | |
| download | opt-efe06a53223cd93f1091b087245c86df98576322.tar.gz opt-efe06a53223cd93f1091b087245c86df98576322.tar.xz | |
[php] update to 7.2.16"
security fixes, see
http://de2.php.net/archive/2019.php#id2019-03-07-2
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 f1fbf5e50..223d881d4 100644 --- a/php/Pkgfile +++ b/php/Pkgfile @@ -4,7 +4,7 @@ # Depends on: libpcre libxml2 curl db gdbm name=php -version=7.2.15 +version=7.2.16 release=1 source=(http://php.net/distributions/php-$version.tar.xz) |