diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-10-07 15:29:10 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-10-07 15:29:10 +0000 |
| commit | 88380855744067ad4c1c765d818d2845c9c044f0 (patch) | |
| tree | 6a60c528c2f6fa7c19746b750328374f162ffad8 /resources/src/mediawiki.ui | |
| parent | 7b5077c76be7e55da9fe6eae0a21d8c740b95a1a (diff) | |
| parent | 5dcc017371f5eb3bffca7b9dfcc38fd0ce2695c7 (diff) | |
| download | mediawikicore-88380855744067ad4c1c765d818d2845c9c044f0.tar.gz mediawikicore-88380855744067ad4c1c765d818d2845c9c044f0.zip | |
Merge "PHP Version Check: Adjust wording on composer dependencies"
Diffstat (limited to 'resources/src/mediawiki.ui')
0 files changed, 0 insertions, 0 deletions