K 10 svn:author V 4 rene K 8 svn:date V 27 2019-12-17T20:28:36.150773Z K 7 svn:log V 69 Remove IGNORE_WITH_PHP=71 and add IGNORE_WITH_PHP=74 where relevant. END