Wikimedia MediaWiki Core Team/checkin-20131017