wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-23 15:16:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/includes
History
jdlrobson 64e7bfd620 Hygiene: Rename isEnabledByUser to shouldSendModuleToUser 
Sometimes we make choices on the users behalf if we don't have
sufficient information, so this name is more applicable.

If beta features is disabled and the user is anon they have not
explicitly opted in.

Change-Id: I5d816f569fc54f8bf74d6e5a06246b7fa7036e06
2017-02-10 10:07:28 -08:00
..
PopupsContext.php Hygiene: Rename isEnabledByUser to shouldSendModuleToUser 2017-02-10 10:07:28 -08:00
PopupsGadgetsIntegration.php Move conflicting NavPopups gadget name into config var 2017-01-12 18:07:20 +01:00