Changing from php 5.6 to 7.2