2019-09-04 17:49:22 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
set -ex
|
|
|
|
|
2020-09-18 20:16:18 +00:00
|
|
|
# MediaWiki skin LESS variables, defaults in core, we're using Vector's skin.variables.
|
|
|
|
curl -sSL "https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/master/resources/src/mediawiki.less/mediawiki.skin.defaults.less?format=TEXT" | base64 --decode > .storybook/mocks/mediawiki.skin.defaults.less
|
|
|
|
curl -sSL "https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/skins/Vector/+/master/resources/mediawiki.less/mediawiki.skin.variables.less?format=TEXT" | base64 --decode > .storybook/mocks/mediawiki.skin.variables.less
|
|
|
|
|
|
|
|
# MediaWiki LESS mixins
|
2019-09-04 17:49:22 +00:00
|
|
|
curl https://raw.githubusercontent.com/wikimedia/mediawiki/master/resources/src/mediawiki.less/mediawiki.mixins.less -o .storybook/mocks/mediawiki.mixins.less
|
|
|
|
curl https://raw.githubusercontent.com/wikimedia/mediawiki/master/resources/src/mediawiki.less/mediawiki.mixins.animation.less -o .storybook/mocks/mediawiki.mixins.animation.less
|
2020-09-18 20:16:18 +00:00
|
|
|
|
|
|
|
# mediawiki.ui variables
|
2019-09-04 17:49:22 +00:00
|
|
|
curl https://raw.githubusercontent.com/wikimedia/mediawiki/master/resources/src/mediawiki.less/mediawiki.ui/variables.less -o .storybook/mocks/mediawiki.ui/variables.less
|
2020-09-18 20:16:18 +00:00
|
|
|
|
2021-12-18 12:36:04 +00:00
|
|
|
# mediawiki.ui.icon icons.less
|
|
|
|
curl https://raw.githubusercontent.com/wikimedia/mediawiki/master/resources/src/mediawiki.ui.icon/icons-2.less -o .storybook/mocks/mediawiki.ui.icon/icons.less
|
2020-10-27 16:34:01 +00:00
|
|
|
|
|
|
|
# OOUI/WikimediaUI theme icons
|
2021-07-19 21:57:41 +00:00
|
|
|
curl "https://en.wikipedia.org/w/load.php?modules=ext.popups.icons|ext.popups.images&only=styles&debug=true" -o .storybook/mocks/production-icons.less
|