diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-07-25 21:26:41 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-07-25 21:26:41 +0000 |
| commit | 8813f76a558d725a1526483e6ba519a5d18f202b (patch) | |
| tree | 1c3777a326508a9c497a541f9810f0520c64baf5 /includes/export | |
| parent | 6cfb2e3d7a2b96d5041312fcec88248bb46573d7 (diff) | |
| parent | 0b91327754153e066a01c552d2704d7954447f7d (diff) | |
| download | mediawikicore-8813f76a558d725a1526483e6ba519a5d18f202b.tar.gz mediawikicore-8813f76a558d725a1526483e6ba519a5d18f202b.zip | |
Merge "Add permission check for user is permitted to view the log type"
Diffstat (limited to 'includes/export')
0 files changed, 0 insertions, 0 deletions