e8e9932 add patch for PHP 7.2 from

Authored and Committed by remi 6 years ago
    add patch for PHP 7.2 from
      https://github.com/pear/pear-core/pull/71
    
        
file added
+23
file modified
+9 -2