Last modified: 2012-08-23 22:47:53 UTC
Recently https://bugzilla.wikimedia.org/show_bug.cgi?id=35875 has been solved (which described that source / highlight tags were incorrectly rendered). I suggested to deactivate cached versions and to let pages re-rendered, at least for www.mediawiki.org pages.
I'm not sure this is really needed..
(In reply to comment #1) > I'm not sure this is really needed.. Not sure, if you are right, because many pages which use the <source> tag were rendered in an ugly way due to the broken <pre> formatting, which appears to be fixed now, when one edits or purges a page. I did "action=purge" for some of the extensions which I maintain. Please feel free to close the bug - I wanted to mention, that it might be an advantage when "purging" and devalidating the caches, at least for MediaWiki.org
Probably most those pages got purged in the meanwhile anyway.