anjali041 81bb920e2b Avoid using User::setOption() ... User::setOption() is deprecated and should be replaced with UserOptionsManager::setOption() Bug: T277818 Change-Id: I5698b4422755a921c9c9c01ce29084ebfe5f5385		2021-06-02 12:21:10 +00:00
..
EventLogging	Fix PSR12.Properties.ConstantVisibility.NotFound	2020-05-19 23:38:59 +00:00
PopupsContext.php	Separate reference preview settings in beta & non-beta	2021-04-27 16:15:17 +02:00
PopupsGadgetsIntegration.php	hide reference previews when reference tooltip gadget is active	2020-11-16 18:36:04 +01:00
PopupsHooks.php	Avoid using User::setOption()	2021-06-02 12:21:10 +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