wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-23 15:16:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources/dist
History
Jon Robson 7a9e8fd622 Stop using deprecated mediawiki.Uri module 
Use native URI instead.

Bug: T380079
Change-Id: I7648562c0262076f6dc06f619ef39c106ea7b30f
2024-11-21 10:12:48 -08:00
..
index.js Stop using deprecated mediawiki.Uri module 2024-11-21 10:12:48 -08:00
index.js.map.json Stop using deprecated mediawiki.Uri module 2024-11-21 10:12:48 -08:00