diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2017-08-22 21:36:07 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2017-08-22 21:36:07 +0000 |
| commit | f893d0d3e61f85faaef65d5ad807372c1c4bd01b (patch) | |
| tree | 64c411a11cb2befae75120421f1ced0a10571f7c /resources/lib/oojs-ui/oojs-ui-widgets.js | |
| parent | 09b90f84ed35ae501faeaa62a3ad82798ddefdec (diff) | |
| parent | 49d3911a764c3cb807be1cd9daa9505785777aef (diff) | |
| download | mediawikicore-f893d0d3e61f85faaef65d5ad807372c1c4bd01b.tar.gz mediawikicore-f893d0d3e61f85faaef65d5ad807372c1c4bd01b.zip | |
Merge "resources: Provide the WikimediaUI LESS config vars for all OOjs UI users"
Diffstat (limited to 'resources/lib/oojs-ui/oojs-ui-widgets.js')
0 files changed, 0 insertions, 0 deletions