K 10 svn:author V 6 joneum K 8 svn:date V 27 2018-01-29T18:07:03.581116Z K 7 svn:log V 159 remove IGNORE_WITH_PHP= 70 71 This port build fine with PHP 70, 71 and 72 PR: 225292 Reported by: v.chernyadev@tradesoft.ru Approved by: mentors (implicit) END