wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-30 18:34:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/includes
History
Alexander Vorwerk 35462639c3 Avoid using User::getBoolOption() 
User::getBoolOption() is deprecated and should be replaced with
UserOptionsLookup::getBoolOption()

Bug: T277600
Change-Id: I9a2118a6342bd5f145174428dcfb518cba4e439b
2021-06-06 16:44:20 +02:00
..
EventLogging Fix PSR12.Properties.ConstantVisibility.NotFound 2020-05-19 23:38:59 +00:00
PopupsContext.php Avoid using User::getBoolOption() 2021-06-06 16:44:20 +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 Avoid using User::getBoolOption() 2021-06-06 16:44:20 +02:00
UserPreferencesChangeHandler.php Avoid using User::getBoolOption() 2021-06-06 16:44:20 +02:00