diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2015-07-02 10:27:08 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2015-07-02 10:27:08 +0000 |
| commit | dfbbf90b249a3d80ff91a2b52d002812e42991a1 (patch) | |
| tree | 702d6043df26e0b3df094f828a74caa4b3ee832f /includes/api/ApiQueryRevisionsBase.php | |
| parent | 5de749d207b9ca7f15cd7ecb40f4c3a05f07f764 (diff) | |
| parent | d8d172d886ae83130165c53335084c0b0590902d (diff) | |
| download | mediawikicore-dfbbf90b249a3d80ff91a2b52d002812e42991a1.tar.gz mediawikicore-dfbbf90b249a3d80ff91a2b52d002812e42991a1.zip | |
Merge "Correct mw-ui-icon size"
Diffstat (limited to 'includes/api/ApiQueryRevisionsBase.php')
0 files changed, 0 insertions, 0 deletions