Fixed: Angle brackets within 'pre' blocks are silently replaced by HTML entities during wiki section-edit (#9673).
Authored by: jplang 2011-11-28
Parent: [r7968]
Child: [r7970]
