2013-05-07 - production
17:59	<awjrichards>	synchronized php-1.22wmf3/extensions/MobileFrontend/stylesheets/common/ui.css 'Cherry-pick e37e9d9ae6b8a581569c39ede38fc21827983128'	[production]