mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-16 12:12:47 +00:00
13015ad317
E.g. type hints that have been missing, missing indention, and such. Change-Id: I34610a03ad69d7988e9976a08a289c64121420ca |
||
---|---|---|
.. | ||
EventLogging | ||
PopupsContext.php | ||
PopupsGadgetsIntegration.php | ||
PopupsHooks.php | ||
ServiceWirings.php | ||
UserPreferencesChangeHandler.php |