We are still on PHP 5.3 here.