Merge pull request #4463 from davidbarratt/mediawiki

Add MediaWiki 1.31

library/mediawiki

@@ -2,12 +2,12 @@ Maintainers: David Barratt <[email protected]> (@davidbarratt),
              Kunal Mehta <[email protected]> (@legoktm),
              addshore <[email protected]> (@addshore)
 GitRepo: https://github.com/wikimedia/mediawiki-docker.git
-GitCommit: b47e3c56ace8af1bce4d4b9670fc23b11519ccc6
+GitCommit: 1aeea64399bd4af0356346308e4bc727b6e5f87c
 
-Tags: stable, latest, 1.30, 1.30.0
+Tags: stable, latest, 1.31, 1.31.0
 Directory: stable
 
-Tags: legacy, 1.29, 1.29.2
+Tags: legacy, 1.30, 1.30.0
 Directory: legacy
 
 Tags: lts, 1.27, 1.27.4