Looking for a CSS optimizer (php script or online services)

I'm looking for a css optimizer. It should be a php script so I can install on 开发者_开发百科my host or online services. I need some feature like below. Any recommended?

from:

margin-top:5px;
margin-right:10px;
margin-bottom:8px;
margin-left:2px;

to:

=> margin:5px 10px 8px 2px;

from:

-moz-border-radius-topleft: 5px;

to:

=> -moz-border-radius-topleft: 5px;
=> -webkit-border-top-left-radius: 5px;

---

CSSmin?

---

You might want to try cssmin extension: https://github.com/c9s/pecl-cssmin

Since it's a C extension, it's super fast than the pure PHP CSSMin implementation.