2012-05-14 - production
19:13 <reedy> synchronized php-1.20wmf3/extensions/ 'Push extensions out properly' [production]