2012-06-25 - production
20:07 <reedy> synchronized php-1.20wmf6/extensions/WikiEditor/ [production]