You can view the Pull Request on github:

Warning: according to github, the Pull Request cannot be merged without manual 
conflict resolution!

Pull Request Description:
When parsing the changelog to extract version numbers and release dates, I 
noticed that some release dates were "text-only" and did not include the 
`<time>` element.

This patch makes the release dates consistent across all releases, in the 
format `<b><?php release_date($date); ?></b>`.

PHP Webmaster List Mailing List (
To unsubscribe, visit:

Reply via email to