HomePhabricator

Update required MediaWiki version to 1.31

Description

Update required MediaWiki version to 1.31

Since I558c57c this extension is already using PHP 7 features. This
means it can not be used with PHP 5 any more, and is therefor not fully
compatible with MediaWiki versions older than 1.31 any more.

Bug: T213410
Change-Id: I3af86971e64d82683b601b581e3b9ef7361ec660

Details

Provenance
thiemowmdeAuthored on May 21 2019, 1:08 PM
Parents
rEEPS8c743e184406: build: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0
Branches
Unknown
Tags
Unknown
ChangeId
I3af86971e64d82683b601b581e3b9ef7361ec660