diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2017-08-22 21:18:27 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2017-08-22 21:18:28 +0000 |
| commit | 09b90f84ed35ae501faeaa62a3ad82798ddefdec (patch) | |
| tree | 0d747267c723dcfc3c9e97d408f8cf70f79a998f /resources/lib/oojs-ui/oojs-ui-widgets.js | |
| parent | 19a84db108b86f8d4b94bde8e9c34add9f13cc31 (diff) | |
| parent | 18dde4a9dd86d004b64427bdaf8fb0988df5b702 (diff) | |
| download | mediawikicore-09b90f84ed35ae501faeaa62a3ad82798ddefdec.tar.gz mediawikicore-09b90f84ed35ae501faeaa62a3ad82798ddefdec.zip | |
Merge "resources: Consolidate on the WikimediaUI “erroneous” color value"
Diffstat (limited to 'resources/lib/oojs-ui/oojs-ui-widgets.js')
0 files changed, 0 insertions, 0 deletions