Follow-up to r5812: diff properties are now also rendered specially in the ticket diff view and in the ticket RSS log.
The functionality of #5126 is now complete.
Authored by: cboos 2007-07-09
Parent: [r5813]
Child: [r5815]