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
Umherirrender 9fa7f2071c build: Updating mediawiki/mediawiki-codesniffer to 29.0.0 
Change-Id: Ifb739130872b192b0fee54351555b65c3099981e
2020-01-26 20:22:03 +01:00
..
EventLogging Add some missing newlines to separate PHP code better 2019-03-11 11:33:13 +01:00
PopupsContext.php build: Updating mediawiki/mediawiki-codesniffer to 29.0.0 2020-01-26 20:22:03 +01:00
PopupsGadgetsIntegration.php build: Updating mediawiki/mediawiki-codesniffer to 29.0.0 2020-01-26 20:22:03 +01:00
PopupsHooks.php Add tests case for user preferences while in Beta mode 2019-12-17 16:27:26 +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