mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-12-22 03:52:52 +00:00
02507fb74d
Bug: T171951 Change-Id: I58f77737456e1f4b9db6631f83e4b0f14212c939 |
||
---|---|---|
.. | ||
renderer.js | ||
settingsDialog.js |