HTML is no longer used in PHPDoc. The list should be in markdown https://help.github.com/articles/github-flavored-markdown