diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-05-22 21:41:48 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-05-22 21:41:48 +0000 |
| commit | a1c74d9ca804a61e4e96784f41c18c8881bb2964 (patch) | |
| tree | 35312b09e9f7c8b11d10ac17de986b812b9ba543 /docs/scripts.txt | |
| parent | b911029b3915f2c7970e1211cc54e8d0fc05b632 (diff) | |
| parent | 1aa819513ba34521d9ef59978c0e23a4132bcaa1 (diff) | |
| download | mediawikicore-a1c74d9ca804a61e4e96784f41c18c8881bb2964.tar.gz mediawikicore-a1c74d9ca804a61e4e96784f41c18c8881bb2964.zip | |
Merge "registration: Add development requirements to extension.json"
Diffstat (limited to 'docs/scripts.txt')
0 files changed, 0 insertions, 0 deletions