wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2025-01-07 19:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources/dist
History
Johannes Kroll d4d8cefac4 Rename link in footer to "Jump to footnote" 
Bug: T215063
Change-Id: I18201bdeee65418ef147203a845f34447c24e163
2019-02-13 16:01:24 +01:00
..
index.js Rename link in footer to "Jump to footnote" 2019-02-13 16:01:24 +01:00
index.js.map.json Rename link in footer to "Jump to footnote" 2019-02-13 16:01:24 +01:00