mediawiki-extensions-Popups

wikimedia/mediawiki-extensions-Popups

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-23 12:33:00 +00:00

Commit graph

Author	SHA1	Message	Date
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

Author

SHA1

Message

Date

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

1 2 3

101 commits