mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-30 10:25:00 +00:00
3a00223a36
This is the smallest possible patch for a backport. While it seems there is zero technical reason to limit user option keys to lowercase with dashes, it's best-practice. Same as message keys. Bug: T281235 Change-Id: Ia4a45cf4459543c81b23b757ae9c2cfaf9676894 |
||
---|---|---|
.. | ||
EventLogging | ||
PopupsContext.php | ||
PopupsGadgetsIntegration.php | ||
PopupsHooks.php | ||
ServiceWiring.php | ||
UserPreferencesChangeHandler.php |