now requiring PHP 5.6