wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-27 17:00:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/includes
History
Bartosz Dziewoński 310d587732 Use a checkbox for the preference 
Bug: T174726
Change-Id: Ie7dff009adc97653fdb3106f58ea97d26da49f49
2020-10-28 20:40:25 +01:00
..
EventLogging Fix PSR12.Properties.ConstantVisibility.NotFound 2020-05-19 23:38:59 +00:00
PopupsContext.php Popups: Rename new config variable 2020-07-07 09:47:59 -07:00
PopupsGadgetsIntegration.php Fix PSR12.Properties.ConstantVisibility.NotFound 2020-05-19 23:38:59 +00:00
PopupsHooks.php Use a checkbox for the preference 2020-10-28 20:40:25 +01: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