[11:14:35] (03CR) 10Thiemo Kreuz (WMDE): [C: 03+2] Improve function and property documentation [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/657987 (owner: 10Umherirrender) [11:43:09] (03Merged) 10jenkins-bot: Improve function and property documentation [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/657987 (owner: 10Umherirrender)