User "Platonides" posted a comment on MediaWiki.r93261. Full URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/93261#c20181 Commit summary:
Save css optimizations for modern css ( margin: 0 0 0 0 to margin: 0 etc.) Comment: What's the point of this change? You save 472 bytes on the uncompressed file, 62 when gzipped. It doesn't seem worth doing this. I don't care about "margin: 0 0 0 0;" vs "margin: 0;" but I do find 0.3em and #003366 easier to read than .3em and #036. If we want this file to be smaller, we should perform a proper minimization or directly serve it via the resourceloader. _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
