wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2025-01-05 18:54:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources/dist
History
WMDE-Fisch dbb7e0fbdc Factor out gateway selection 
This is mainly done to increase testabilty of this part. I am a bit
unsure if this should ( have been ) integrated in the former index.js
that's now the page.js. - See also the refactoring done before.

Bug: T214971
Change-Id: I90d0441510bc1ec0b4900a392afcbaff6a552377
2019-02-01 10:14:00 +01:00
..
index.js Factor out gateway selection 2019-02-01 10:14:00 +01:00
index.js.map.json Factor out gateway selection 2019-02-01 10:14:00 +01:00