diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2023-03-09 16:38:40 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2023-03-09 16:38:40 +0000 |
| commit | d47a60b4d26ea674368eef9113ae1ad20fcad89d (patch) | |
| tree | 400d22d4e92609e545b01eec42d499a798ac17f1 /includes/ResourceLoader | |
| parent | d2c31a457a72c5789604d53431af15b66ad48229 (diff) | |
| parent | b16e89bebbd5ed85f68bd9b89ffaa9be4c8b8aa3 (diff) | |
| download | mediawikicore-d47a60b4d26ea674368eef9113ae1ad20fcad89d.tar.gz mediawikicore-d47a60b4d26ea674368eef9113ae1ad20fcad89d.zip | |
Merge "Mobile Special:Preferences: Don't apply buttons styles to section headers in no-JS"
Diffstat (limited to 'includes/ResourceLoader')
0 files changed, 0 insertions, 0 deletions