jenkins-bot 26ae1842c1 Merge "Avoid using User::setOption()"		2021-06-03 20:04:41 +00:00
..
EventLogging	Fix PSR12.Properties.ConstantVisibility.NotFound	2020-05-19 23:38:59 +00:00
PopupsContext.php	Rearrange PopupContext code for readability	2021-05-06 16:44:41 +02:00
PopupsGadgetsIntegration.php	hide reference previews when reference tooltip gadget is active	2020-11-16 18:36:04 +01:00
PopupsHooks.php	Merge "Avoid using User::setOption()"	2021-06-03 20:04:41 +00:00
ServiceWiring.php	build: Updating composer dependencies	2021-05-19 19:38:42 +02:00
UserPreferencesChangeHandler.php	build: Updating mediawiki/mediawiki-codesniffer to 29.0.0	2020-01-26 20:22:03 +01:00