Semantic MediaWiki version: 3.1.0

Release date: Sept. 24, 2019