diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2021-11-19 16:09:47 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2021-11-19 16:09:47 +0000 |
| commit | bc26dd1b446102cc861ff0d08cc7fc6efa8fd012 (patch) | |
| tree | c57a81ccced0b2dbefcb24e3fd7a69a4c00348f3 /tests/phpunit/includes/diff/CustomDifferenceEngine.php | |
| parent | 6f210f112820269f422c3943d0f3efe2f5a514ff (diff) | |
| parent | 9d13a3cb5b77c2fe7599fc09952afa7e460a5ecc (diff) | |
| download | mediawikicore-bc26dd1b446102cc861ff0d08cc7fc6efa8fd012.tar.gz mediawikicore-bc26dd1b446102cc861ff0d08cc7fc6efa8fd012.zip | |
Merge "Drop User methods which were deprecated since 1.36"
Diffstat (limited to 'tests/phpunit/includes/diff/CustomDifferenceEngine.php')
0 files changed, 0 insertions, 0 deletions