tests: PHP 5.3