Shame about the other 99% of users on WPEngine who are still running on PHP 5.3.