mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-12-04 03:58:41 +00:00
ae22a00dc8
From ext.popups.desktop. Change-Id: I55955d1506138e26d24fb9ebaf20ac3e168941ba
5585 lines
420 KiB
XML
5585 lines
420 KiB
XML