From 4df0ce2d850111bd96a210e6b0a26a49c065129b Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Sat, 11 Sep 2010 14:29:01 +0000
Subject: [PATCH] And we now have CSSMin

---
 maintenance/minify.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/maintenance/minify.php b/maintenance/minify.php
index 5357ff1d11..a5cca1081c 100644
--- a/maintenance/minify.php
+++ b/maintenance/minify.php
@@ -96,6 +96,9 @@ class MinifyScript extends Maintenance {
 			case 'js':
 				$outText = JSMin::minify( $inText );
 				break;
+			case 'css':
+				$outText = CSSMin::minify( $inText );
+				break;
 			default:
 				$this->error( "No minifier defined for extension \"$extension\"" );
 		}
-- 
2.20.1