[15:38:15] <wikibugs>	 (03CR) 10Krinkle: [C: 03+2] Performance: use ContentLanguage service for formatting the ID instead of varying by user language [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/583758 (owner: 10Jack Phoenix)
[15:49:30] <wikibugs>	 (03Merged) 10jenkins-bot: Performance: use ContentLanguage service for formatting the ID instead of varying by user language [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/583758 (owner: 10Jack Phoenix)