Subject: bug#26485: update php to 7.1.4

From: Julien Lepiller <[email-masked]>
Date: Thu, 13 Apr 2017 19:08:36 +0200

Hi,

a new version of PHP has just been released. Here is a patch to
update it.

>From cde576b4163af51c928f56137547d8060d4b911b Mon Sep 17 00:00:00 2001
From: Julien Lepiller <[email-masked]>
Date: Thu, 13 Apr 2017 15:16:26 +0200
Subject: [PATCH] gnu: php: Update to 7.1.4.

* gnu/packages/php.scm (php): Update to 7.1.4.
---
 gnu/packages/php.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/php.scm b/gnu/packages/php.scm
index 071820e..a40568e 100644
--- a/gnu/packages/php.scm
+++ b/gnu/packages/php.scm
@@ -53,7 +53,7 @@
 (define-public php
   (package
     (name "php")
-    (version "7.1.3")
+    (version "7.1.4")
     (home-page "https://secure.php.net/")
     (source (origin
               (method url-fetch)
@@ -61,7 +61,7 @@
                                   name "-" version ".tar.xz"))
               (sha256
                (base32
-                "1c0brdq5aqh4i127pq1g904dfb6klz2gbg9gjvykg3kp6hk7r274"))
+                "02rh1lcfj2hakyls73gwn6w00yblnfh4883w13gn7sgkmn346lbi"))
               (modules '((guix build utils)))
               (snippet
                '(with-directory-excursion "ext"
-- 
2.7.4