Wikimedia MediaWiki Core Team/Check-ins/20131202