Fixed a deprecation notice in Zend libraries for full compatibility with php 7.2.#860

Merged

zerocrates merged 1 commit intoomeka:masterfrom Daniel-KM:fix/php72_deprecated_notice

Jul 5, 2018

+1-1

Commits on Jul 1, 2018

Fixed a deprecation notice in Zend libraries for full compatibility with php 7.2.
Daniel-KM
committed