Fix for PHP rendering (closes #1676). However, there seems to be too much space before (2 empty lines) and after (3 empty lines) the rendered code. Maybe a CSS issue?
Authored by: cboos 2005-06-17
Parent: [r1809]
Child: [r1811]
