wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2025-01-07 11:44:12 +00:00
Code Issues Packages Projects Releases Wiki Activity
1597 commits 12 branches 16 tags 72 MiB
Commit graph

202 commits

Author SHA1 Message Date
joakin fa2b10a2e7 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-14 09:59:59 -08:00
joakin ba4844cdc2 Tooling: Separate built resources from RL resources 
In order to automatically verify in CI that the built assets are up to
date with the commited sources, we need to keep the built assets in
a folder separate from the RL assets.

* Rename the compiled assets folder to industry standard `dist`

Change-Id: I8c5898f9bb29fee7164a7038b835a5f7efd33dbc
 2017-02-14 18:39:38 +01:00