<pre> tags are much easier to read in phpdoc than <ul>