Add and clarify PHP 5.3 requirement