[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Update phan issues & estimated counts

2017-06-30 Thread jenkins-bot (Code Review)
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

2017-06-30 Thread Addshore (Code Review)
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