On 11-04-2012 00:46, Rob Lanphier wrote:
Oh, btw, enjoy the pretty new diff colors! :) http://www.mediawiki.org/w/index.php?title=MediaWiki_1.19%2FRoadmap%2Fstatus...
Aw, I had some last-minute tweaks that fixes some padding issues, but I forgot to reopen bug 11374 (https://bugzilla.wikimedia.org/show_bug.cgi?id=11374#c47).