https://bugzilla.wikimedia.org/show_bug.cgi?id=36086
--- Comment #2 from T. Gries <[email protected]> 2012-04-19 10:32:49 UTC --- (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 -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
