wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-28 01:10:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources
History
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
..
dist Tooling: Separate built resources from RL resources 2017-02-14 18:39:38 +01:00
ext.popups Tooling: Separate built resources from RL resources 2017-02-14 18:39:38 +01:00
ext.popups.images Hovercards: Improve layout of settings dialog to design spec 2016-08-10 14:01:36 -04:00