jenkins-bot 46ece02214 Merge "Use a checkbox for the preference"		2020-11-17 12:31:32 +00:00
..
EventLogging	Fix PSR12.Properties.ConstantVisibility.NotFound	2020-05-19 23:38:59 +00:00
PopupsContext.php	hide reference previews when reference tooltip gadget is active	2020-11-16 18:36:04 +01:00
PopupsGadgetsIntegration.php	hide reference previews when reference tooltip gadget is active	2020-11-16 18:36:04 +01:00
PopupsHooks.php	Merge "Use a checkbox for the preference"	2020-11-17 12:31:32 +00:00
ServiceWiring.php	[hygiene] move ServiceWirings.php to ServiceWiring.php	2020-01-14 08:49:11 -07:00
UserPreferencesChangeHandler.php	build: Updating mediawiki/mediawiki-codesniffer to 29.0.0	2020-01-26 20:22:03 +01:00