2018-10-12 - production
10:08 <addshore@deploy1001> Synchronized php-1.32.0-wmf.24/extensions/WikimediaEvents/extension.json: T205283 [[gerrit:466843]] Update Schema:WMDEBannerEvents rev to 18437830 (duration: 00m 52s) [production]