diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-11-12 19:14:54 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-11-12 19:14:54 +0000 |
| commit | 12e97da8d0d297da1cc946a1b157dcf60404e4ff (patch) | |
| tree | 49f1b8aa14bf39c06f689a63a1c6a00d49ed432a /maintenance/emptyUserGroup.php | |
| parent | d2017fc261ad29eb7eedd1ef89b3ceff7275adbc (diff) | |
| parent | 18f6d477e8b0fe881fbf3519f27667c4943b1fc0 (diff) | |
| download | mediawikicore-12e97da8d0d297da1cc946a1b157dcf60404e4ff.tar.gz mediawikicore-12e97da8d0d297da1cc946a1b157dcf60404e4ff.zip | |
Merge "specials: Fix contributions page for user '0'"
Diffstat (limited to 'maintenance/emptyUserGroup.php')
0 files changed, 0 insertions, 0 deletions