wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-24 07:34:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/includes
History
Thiemo Kreuz e5b36f6270 Make use of User::getBoolOption() where appropriate 
Bug: T233813
Change-Id: I804c34817e093fe7e507e5379647b52f187a686b
2019-10-22 09:58:47 +02:00
..
EventLogging Add some missing newlines to separate PHP code better 2019-03-11 11:33:13 +01:00
PopupsContext.php Rename PHP constant for ReferencePreview preference 2019-10-22 09:25:02 +02:00
PopupsGadgetsIntegration.php Add some missing newlines to separate PHP code better 2019-03-11 11:33:13 +01:00
PopupsHooks.php Rename PHP constant for ReferencePreview preference 2019-10-22 09:25:02 +02:00
ServiceWirings.php Hygiene: fix typo in ServiceWirings function arg 2019-02-26 15:39:18 -07:00
UserPreferencesChangeHandler.php Make use of User::getBoolOption() where appropriate 2019-10-22 09:58:47 +02:00