On 08/02/2018 11:44, Carmel NY wrote: > In any case, perhaps it is time to mark this port broken or state that it does > not work with newer versions of PHP. Just a thought, but it might save someone > a lot of wasted time. Yeah -- I'll mark the port as incompatible with php 7.2+ Cheers, Matthew