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
Piotr Miazga 75ef7c4f93 Re-enable MediaWiki.Commenting.FunctionComment.MissingReturn sniff 
Bug: T168384
Change-Id: I8d7b750503ca9c951267a948862c3685ea036100
2017-07-13 15:47:00 +02:00
..
EventLogging Re-enable MediaWiki.Commenting.FunctionComment.MissingParamTag sniff 2017-07-13 10:43:00 +00:00
PopupsContext.php Re-enable MediaWiki.Commenting.FunctionComment.MissingReturn sniff 2017-07-13 15:47:00 +02:00
PopupsGadgetsIntegration.php Re-enable MediaWiki.Commenting.FunctionComment.MissingParamComment sniff 2017-07-13 11:33:04 +01:00
PopupsHooks.php Re-enable MediaWiki.Commenting.FunctionComment.MissingParamTag sniff 2017-07-13 10:43:00 +00:00
UserPreferencesChangeHandler.php Re-enable MediaWiki.Commenting.FunctionComment.MissingParamTag sniff 2017-07-13 10:43:00 +00:00