diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2018-05-29 22:38:36 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2018-05-29 22:38:36 +0000 |
| commit | 95627eb03d7534efee84bbea642699b54a72e5db (patch) | |
| tree | 8b674f69ad8222bfd43dee153f148782a7a32155 /resources/lib/oojs-ui | |
| parent | 930a808814ac1dae6d851de1bef780b9142f9a51 (diff) | |
| parent | 6b6c71558e782812938704503a9585a0a9e2a1a9 (diff) | |
| download | mediawikicore-95627eb03d7534efee84bbea642699b54a72e5db.tar.gz mediawikicore-95627eb03d7534efee84bbea642699b54a72e5db.zip | |
Merge "Fix PreferencesForm alias"
Diffstat (limited to 'resources/lib/oojs-ui')
0 files changed, 0 insertions, 0 deletions