mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-12-04 03:58:41 +00:00
189b386a13
Breaking change - I was having issues getting the knobs feature to work so it has been removed for the time being. Bug: T236589 Depends-On: I8505d2dad69aefed5f8ed1f599b3ca1b7e79acf5 Change-Id: I42fbf37124477e2d950b4bca15acf77703cd3f5d
8 lines
708 B
Bash
Executable file
8 lines
708 B
Bash
Executable file
#!/usr/bin/env bash
|
|
set -ex
|
|
|
|
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
|
|
curl https://raw.githubusercontent.com/wikimedia/mediawiki/master/resources/src/mediawiki.less/mediawiki.ui/variables.less -o .storybook/mocks/mediawiki.ui/variables.less
|
|
curl https://raw.githubusercontent.com/wikimedia/mediawiki/master/resources/src/mediawiki.ui/components/icons.less -o .storybook/mocks/mediawiki.ui/components/icons.less
|