"Helder.wiki" posted a comment on MediaWiki.r107127.
URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/107127#c31647
Commit summary for MediaWiki.r107127:
Applying patch from bug 5 (from Erwin Dokter). Followup to r105280
and r106884.
* td.diff-deletedline gets a softer yellow backgr
"Edokter" posted a comment on MediaWiki.r107127.
URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/107127#c28845
Commit summary for MediaWiki.r107127:
Applying patch from bug 5 (from Erwin Dokter). Followup to r105280
and r106884.
* td.diff-deletedline gets a softer yellow background
