Bläddra i källkod

Upgrade MediaWiki PHP to 7.2

David Barratt 7 år sedan
förälder
incheckning
faa4f1bf9e
1 ändrade filer med 1 tillägg och 1 borttagningar
  1. 1 1
      library/mediawiki

+ 1 - 1
library/mediawiki

@@ -2,7 +2,7 @@ Maintainers: David Barratt <[email protected]> (@davidbarratt),
              Kunal Mehta <[email protected]> (@legoktm),
              addshore <[email protected]> (@addshore)
 GitRepo: https://github.com/wikimedia/mediawiki-docker.git
-GitCommit: 1aeea64399bd4af0356346308e4bc727b6e5f87c
+GitCommit: 2dea40647eb85d6e0fc607904e0779644cf869c9
 
 Tags: stable, latest, 1.31, 1.31.0
 Directory: stable