diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2021-07-12 19:39:36 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2021-07-12 19:39:36 +0000 |
| commit | 4e7ac57b46e5397f88d1de723bee345bf9d83e8f (patch) | |
| tree | 6ed116dfc2224cb0adc76d59d7f9482ec0d8e2dd /includes/FileDeleteForm.php | |
| parent | 46d60bc8d2f1e876f3fbc01210f9f95e299dfd67 (diff) | |
| parent | 5c2409ae1a3446979b266e35f9fe7d97b8c9a4c2 (diff) | |
| download | mediawikicore-4e7ac57b46e5397f88d1de723bee345bf9d83e8f.tar.gz mediawikicore-4e7ac57b46e5397f88d1de723bee345bf9d83e8f.zip | |
Merge "SpecialBlock: replace User with UserIdentity"
Diffstat (limited to 'includes/FileDeleteForm.php')
0 files changed, 0 insertions, 0 deletions