What do you mean ? I am no specialist of this kind of markup, i just followed the documentation to use the php syntax coloration. If there is a better way to do it feel free to make a separate change to the doc.