[11:51:14] <wikibugs>	 (03CR) 10Thiemo Kreuz (WMDE): [C: 03+2] Fix variable name [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/637859 (owner: 10Jack Phoenix)
[11:54:55] <wikibugs>	 (03Merged) 10jenkins-bot: Fix variable name [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/637859 (owner: 10Jack Phoenix)