Last modified: 2013-06-14 22:23:54 UTC
See https://gerrit.wikimedia.org/r/#/c/23091/2/includes/ImagePage.php .
See also http://code.google.com/p/gerrit/issues/detail?id=449
I wonder if we could get google-code-prettify updated to something more recent than May '09. We should poke upstream about that.
*** Bug 49598 has been marked as a duplicate of this bug. ***
Widening the summary a tad bit. code-prettify sucks, which is why they're starting to use codemirror upstream. Eventually we'll get that. This isn't even all the way in master yet (and even further off for us). Hopefully we'll see it by year-end.