mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-28 01:10:04 +00:00
Merge "Use json extension for .stylelintrc"
This commit is contained in:
commit
8b2c4812d8
Loading…
Reference in a new issue