Fix for PHP versions < 5.4