From 99a38a4f3becc485e8d4c604f5bbb444a9e1cff4 Mon Sep 17 00:00:00 2001
From: Daniel Berthereau <Daniel.github@Berthereau.net>
Date: Mon, 2 Jul 2018 00:00:00 +0200
Subject: [PATCH] Fixed a deprecation notice in Zend libraries for full
 compatibility with php 7.2.

---
 application/libraries/Zend/Cache/Backend.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/application/libraries/Zend/Cache/Backend.php b/application/libraries/Zend/Cache/Backend.php
index 83f1af5f12..3d99e0939c 100644
--- a/application/libraries/Zend/Cache/Backend.php
+++ b/application/libraries/Zend/Cache/Backend.php
@@ -76,7 +76,7 @@ public function __construct(array $options = array())
     public function setDirectives($directives)
     {
         if (!is_array($directives)) Zend_Cache::throwException('Directives parameter must be an array');
-        while (list($name, $value) = each($directives)) {
+        foreach ($directives as $name => $value) {
             if (!is_string($name)) {
                 Zend_Cache::throwException("Incorrect option name : $name");
             }