wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-27 17:00:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/includes
History
Thiemo Kreuz 84ef742bc2 Simplify PopupsContext::areDependenciesMet 
Change-Id: I4d545f27e05451e44945217520fdbea77cfd881a
2019-01-16 20:20:47 +00:00
..
EventLogging Remove non-helpful auto-generated comments on constructors 2019-01-16 15:34:19 +01:00
PopupsContext.php Simplify PopupsContext::areDependenciesMet 2019-01-16 20:20:47 +00:00
PopupsGadgetsIntegration.php Remove non-helpful auto-generated comments on constructors 2019-01-16 15:34:19 +01:00
PopupsHooks.php Add @var type hints to all MediaWikiServices::getService calls 2019-01-16 20:01:29 +00:00
ServiceWirings.php Hygiene: Dependency Injection for Popups 2017-07-24 22:41:28 +00:00
UserPreferencesChangeHandler.php Remove non-helpful auto-generated comments on constructors 2019-01-16 15:34:19 +01:00