Updated the php 5.3 comment