[19:32:31] <wikibugs>	 (03PS1) 10Aaron Schulz: Fix bad ResultWrapper type hints [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/518116
[19:34:16] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] Fix bad ResultWrapper type hints [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/518116 (owner: 10Aaron Schulz)