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]