MediaWiki 1.31/wmf.2

New features:

Create a general-purpose labs download server for big files (T177293)

New features:

Download

 * Create a general-purpose labs download server for big files (T177293)

Own repository is:

https://github.com/joaquinito01/mediawiki/tree/wmf/1.31.0-wmf.2