Wikimedia MediaWiki Core Team/Check-ins/20131223