mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-18 21:05:57 +00:00
d662bc62b2
Additional changes: * Stub map with get( key, default ) which is mediawiki specific behavior Change-Id: Ie6c4842604e59b5b06cc5d462216bdaa1784f558 |
||
---|---|---|
.. | ||
ext.popups |