2015-04-07 - production
17:35	<krenair>	Synchronized php-1.25wmf24/includes/MediaWiki.php: https://gerrit.wikimedia.org/r/#/c/202301/ (duration: 00m 15s)	[production]