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