Semantic MediaWiki version: 3.1.4

Release date: Feb. 8, 2020