2012-09-13 - production
01:45 <awjrichards> synchronized php-1.20wmf11/extensions/MobileFrontend/stylesheets/banner.css 'Update timestamp on banner.css' [production]