Updated the php 5.3 comment

PHP 5.3.29 is the last 5.3.x release, so we might as well name it like we did for php 5.2.17.