Don't use syntax from PHP 5.4, here and below...