diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2018-09-24 05:43:18 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2018-09-24 05:43:18 +0000 |
commit | 0c045de899977975884aa93f3f4e2642dd175f83 (patch) | |
tree | ad7f801c2ccca8b7c9dc587d90d030763914388b /tests/phpunit/includes/api/ApiQueryRecentChangesIntegrationTest.php | |
parent | 257edebf33b89180d754adbad44ed3be9eab0b71 (diff) | |
parent | 8af76decf8799f9ebb7fa45990c95bfb13e817c3 (diff) | |
download | mediawikicore-0c045de899977975884aa93f3f4e2642dd175f83.tar.gz mediawikicore-0c045de899977975884aa93f3f4e2642dd175f83.zip |
Merge "registration: Let extensions add PHP version requirements"
Diffstat (limited to 'tests/phpunit/includes/api/ApiQueryRecentChangesIntegrationTest.php')
0 files changed, 0 insertions, 0 deletions