2018-11-14 - production
13:01 <reedy@deploy1001> Synchronized php-1.33.0-wmf.4/extensions/WikimediaMaintenance/addWiki.php: Fixing addshores code... (duration: 00m 53s) [production]