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
Sam Smith 8f5000f346 Remove Popups instrumentation 
Bug: T267211
Change-Id: I640ab367cd235ab8da7dd70dbef7ae9076712e84
2021-07-29 17:01:01 +00:00
..
PopupsContext.php Remove Popups instrumentation 2021-07-29 17:01:01 +00:00
PopupsGadgetsIntegration.php hide reference previews when reference tooltip gadget is active 2020-11-16 18:36:04 +01:00
PopupsHooks.php Remove Popups instrumentation 2021-07-29 17:01:01 +00:00
ServiceWiring.php Remove Popups instrumentation 2021-07-29 17:01:01 +00:00