wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-23 23:24:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/includes
History
Piotr Miazga 5b62bc625b Re-enable MediaWiki.Commenting.FunctionComment.MissingParamTag sniff 
Changes also solve the MediaWiki.Commenting.FunctionComment.ParamNameNoMatch
sniff

Bug: T168384
Change-Id: Idd80e42943a57a4b6211c50a4aac2f1d20e6232d
2017-07-13 10:43:00 +00:00
..
EventLogging Re-enable MediaWiki.Commenting.FunctionComment.MissingParamTag sniff 2017-07-13 10:43:00 +00:00
PopupsContext.php Re-enable MediaWiki.Commenting.FunctionComment.MissingParamComment sniff 2017-07-13 11:33:04 +01: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