Wikimedia MediaWiki Core Team/Quarterly review, July 2013/Release Management and QA