2015-02-09 - production
23:00 <yurik> Synchronized php-1.25wmf15/extensions/ZeroBanner: cherry-picking 189553 (duration: 00m 06s) [production]