This issue should be solved for a while, it has bee part of the transition from php5 to php7. Please re-open if it still exists.