mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-23 23:24:39 +00:00
3b6d9ccc9d
We changed the handling of the popup settings. They now contain popup types (pages and references). To not get confused with the old setting options (simple, advanced and off), we would like to rename the local for the simple setting to page. It should already contain the correct string. Bug: T277639 Change-Id: I8847b890e9e31602277a92d82a188fcdd3eea855 |
||
---|---|---|
.. | ||
dist | ||
ext.popups | ||
ext.popups.images |