fix: incorrect jquery ui resourceloader name

This commit is contained in:
alistair3149 2021-03-07 12:09:13 -05:00 committed by GitHub
parent acaa7e243f
commit cbf2a20dee
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -481,7 +481,7 @@
"+oojs-ui-widgets": "skinStyles/oojs/oojs-ui-widgets.less",
"+oojs-ui-windows": "skinStyles/oojs/oojs-ui-windows.less",
"+jquery.ui.core.styles": "skinStyles/jquery.ui/smoothness/jquery.ui.theme.less",
"+jquery.ui": "skinStyles/jquery.ui/smoothness/jquery.ui.theme.less",
"+mmv": "skinStyles/extensions/MultimediaViewer/mmv.less"
}