[16:09:20] <wikibugs>	 (03PS1) 10Umherirrender: Type hint against IResultWrapper [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/540909
[18:48:42] <wikibugs>	 (03CR) 10Thiemo Kreuz (WMDE): [C: 03+2] "Exclusively touching soft type hints in PHPDoc tags. Nothing can break in production." [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/540909 (owner: 10Umherirrender)
[19:42:37] <wikibugs>	 (03Merged) 10jenkins-bot: Type hint against IResultWrapper [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/540909 (owner: 10Umherirrender)