Merge pull request #860 from Daniel-KM/fix/php72_deprecated_notice

Fixed a deprecation notice in Zend libraries for full compatibility with php 7.2.
omeka · Jul 5, 2018 · c831893 · c831893
2 parents ca84c20 + 99a38a4
commit c831893
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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");
             }