Update core, update Semantic MediaWiki