This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-Popups
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-Popups
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced
2024-11-14 11:15:08 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
7a79602208
mediawiki-extensions-Popups
/
.gitattributes
3 lines
82 B
Plaintext
Raw
Normal View
History
Unescape
Escape
Hygiene: Move build/ext.popups/ to src/ This way, src contains sources, and dist contains distribution files. Also, add some documentation about the folders in the README and an adr. Change-Id: Ie0b9f6475b8423b90e927633d883bde3cd5d5e4d
2017-02-13 14:02:18 +00:00
resources/dist/** -diff -whitespace
build: Update eslint-config-wikimedia to 0.16.2 Change-Id: Icb65074fe64993314bbb28f690ce3ce0f89fb57c
2020-06-22 21:49:14 +00:00
resources/dist/.eslintrc.json diff whitespace
Reference in a new issue
Copy permalink