mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-24 07:34:11 +00:00
64e7bfd620
Sometimes we make choices on the users behalf if we don't have sufficient information, so this name is more applicable. If beta features is disabled and the user is anon they have not explicitly opted in. Change-Id: I5d816f569fc54f8bf74d6e5a06246b7fa7036e06 |
||
---|---|---|
.. | ||
ext.popups | ||
ext.popups.images | ||
ext.popups.lib |