2018-10-25 - production
23:26 <maxsem@deploy1001> Synchronized php-1.33.0-wmf.1/extensions/GlobalPreferences/: https://gerrit.wikimedia.org/r/c/469793/ (duration: 00m 58s) [production]