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