Specify a PHP 5.3 dependency.