diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2020-06-26 10:42:52 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2020-06-26 10:42:52 +0000 |
| commit | f7b051bd312d659a68ee77980c3d9d402af4eac2 (patch) | |
| tree | a72d4bcb19be0309435ec9af4bd43cf7828aa33f /includes/diff/DiffFormatter.php | |
| parent | 9c852462548edede0112de5d3b4c02514d5d20de (diff) | |
| parent | d1e7b75776c4dd42d52a9bd1f9f69b5ca44b9d30 (diff) | |
| download | mediawikicore-f7b051bd312d659a68ee77980c3d9d402af4eac2.tar.gz mediawikicore-f7b051bd312d659a68ee77980c3d9d402af4eac2.zip | |
Merge "SpecialMute: Rename blacklist to mutelist"
Diffstat (limited to 'includes/diff/DiffFormatter.php')
0 files changed, 0 insertions, 0 deletions