diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2021-05-13 16:09:22 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2021-05-13 16:09:22 +0000 |
| commit | 2da82db92468327ee5be44a3fde5d88a1682fcfb (patch) | |
| tree | c59017f3626d4fc04f098bc5fd166d42fc7fa939 /docs/extension.schema.v1.json | |
| parent | 431e5103012a407514bde7acfcb5aaf6dea1eeaa (diff) | |
| parent | e86ad5b4f59beb3a73a52f53461880644676c920 (diff) | |
| download | mediawikicore-2da82db92468327ee5be44a3fde5d88a1682fcfb.tar.gz mediawikicore-2da82db92468327ee5be44a3fde5d88a1682fcfb.zip | |
Merge "Remove duplicate mention on CREDITS"
Diffstat (limited to 'docs/extension.schema.v1.json')
0 files changed, 0 insertions, 0 deletions