commit | 4e1e1ae5f6f484aaa2713f7c9d60bd2887964fbf | [log] [tgz] |
---|---|---|
author | Reedy <[email protected]> | Fri Oct 11 01:13:31 2019 +0100 |
committer | Reedy <[email protected]> | Fri Oct 11 01:32:43 2019 +0100 |
tree | 39018e95b70d62f03bab99d6b6bd5c348fd223e5 | |
parent | b25f2949a29d059df14ace2c385ac43b683ce828 [diff] |
Bump required PHP >= 7.2.9 to match core Change-Id: Ib0ec551c99530f5481b8c9b885b05743816253e8
Composer managed libraries required or recommended for use with MediaWiki. This repository is maintained for use on the Wikimedia Foundation production and testing clusters, but may be useful for anyone wishing to avoid directly managing MediaWiki dependencies with Composer.
Checkout this library into $IP/vendor using git clone <URL>
or add the repository as a git submodule using git submodule add <URL> vendor
followed by git submodule update --init
.
composer --version
. This keeps installed.json alphasorted, making patches less likely to conflict, and diffs easier to read.composer update --no-dev --ignore-platform-reqs
to download files and update the autoloader.Note that you MUST pair patches changing versions of libraries used by MediaWiki itself with ones for the "core" repo. This repo has special configuration, which skips the integrity checks and so allowing a circular dependency Gordian knot to be fixed. However, this means that, if merged alone without a pair, you'll cause ALL patches in MediaWiki and ALL extensions to fail their continuous integration tests. If in doubt, seek advice from regular commiters to this repository.