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]