Corrected PHP doc for convertDateFormat