// Only for PHP 5 >= 5.3.0