Semantic MediaWiki version: 3.1.3

Release date: Jan. 24, 2020