2014-05-19 - production
15:26	<manybubbles>	synchronized php-1.24wmf5/resources/lib/oojs-ui/ 'fix panellayout'	[production]