diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-12-08 09:01:48 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-12-08 09:01:48 +0000 |
| commit | 554feecbb48002ed15fa66cd7635a3f69b1052f9 (patch) | |
| tree | ed8a303f1b0cef91115b9176bf6caecbc55bb851 /includes/htmlform/HTMLForm.php | |
| parent | 7d8e1a2b6ced8258e6ad95e68c59cff137fe54d3 (diff) | |
| parent | 1c2de3d39759ccff5f987f9ec2208cd081d66630 (diff) | |
| download | mediawikicore-554feecbb48002ed15fa66cd7635a3f69b1052f9.tar.gz mediawikicore-554feecbb48002ed15fa66cd7635a3f69b1052f9.zip | |
Merge "Inline diffs upstreamed from MobileFrontend to core."
Diffstat (limited to 'includes/htmlform/HTMLForm.php')
0 files changed, 0 insertions, 0 deletions