diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-04-12 20:36:15 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-04-12 20:36:15 +0000 |
| commit | 115ebbe89d25522b5a967b87977fc7ecf3188a95 (patch) | |
| tree | 966dc027b1c309ee2e3523c05df7bbe7eb29edc9 /tests/phpunit/includes/diff | |
| parent | 166389272390f58ea04886d561831aff35303078 (diff) | |
| parent | 7b4489e019092fd082e567cd79448f39677108c4 (diff) | |
| download | mediawikicore-115ebbe89d25522b5a967b87977fc7ecf3188a95.tar.gz mediawikicore-115ebbe89d25522b5a967b87977fc7ecf3188a95.zip | |
Merge "Get rid of unnecessary func_get_args() and friends"
Diffstat (limited to 'tests/phpunit/includes/diff')
0 files changed, 0 insertions, 0 deletions