Semantic MediaWiki version: 3.1.2

Release date: Jan. 12, 2020