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/dist
History
Thiemo Kreuz 76e02fae98 Remove obsolete mediaWiki and jQuery aliases 
Notice how this actually reduces the size of the final, compiled index.js.
It's not much, but still.

One issue I noticed is that the coverage reports for the JS code stopped
working. I have no idea why.

Bug: T208951
Change-Id: I2fe92579574b3b1ba4d2dd064899eee944045a96
2019-10-22 09:30:46 +02:00
..
index.js Remove obsolete mediaWiki and jQuery aliases 2019-10-22 09:30:46 +02:00
index.js.map.json Remove obsolete mediaWiki and jQuery aliases 2019-10-22 09:30:46 +02:00