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