2019-01-15 - production
00:34	<catrope@deploy1001>	Synchronized php-1.33.0-wmf.12/resources/lib/ooui/oojs-ui-core.js: OOUI backport (T213544) (duration: 00m 46s)	[production]