diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2015-02-27 17:42:50 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2015-02-27 17:42:50 +0000 |
| commit | 4ac9dbee4a1c0688da6dfa91e8c6419c1bd16f69 (patch) | |
| tree | 0a8a4692ad5f0272d25c0167b11a93861f9f8be1 /resources/lib/oojs-ui/oojs-ui-mediawiki.js | |
| parent | df1840905566ed7a540cbde2647c723febe56328 (diff) | |
| parent | 0ccbe8e8a909fb756b2bc2a5e3b2ad4bc0210514 (diff) | |
| download | mediawikicore-4ac9dbee4a1c0688da6dfa91e8c6419c1bd16f69.tar.gz mediawikicore-4ac9dbee4a1c0688da6dfa91e8c6419c1bd16f69.zip | |
Merge "installer: Use HTTPS links for licenses"
Diffstat (limited to 'resources/lib/oojs-ui/oojs-ui-mediawiki.js')
0 files changed, 0 insertions, 0 deletions