[MediaWiki-commits] [Gerrit] mediawiki...Popups[master]: Re-enable MediaWiki.Commenting.FunctionComment.MissingDocume...

2017-07-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/364850 ) Change subject: Re-enable MediaWiki.Commenting.FunctionComment.MissingDocumentationPublic sniff .. Re-enable

[MediaWiki-commits] [Gerrit] mediawiki...Popups[master]: Re-enable MediaWiki.Commenting.FunctionComment.MissingDocume...

2017-07-12 Thread Pmiazga (Code Review)
Pmiazga has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/364850 ) Change subject: Re-enable MediaWiki.Commenting.FunctionComment.MissingDocumentationPublic sniff .. Re-enable