[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Update phan issues & estimated counts
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/362406 ) Change subject: Update phan issues & estimated counts .. Update phan issues & estimated counts Since the last update there is
[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Update phan issues & estimated counts
Addshore has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/362406 ) Change subject: Update phan issues & estimated counts .. Update phan issues & estimated counts Since the last update there is a total of