Update phan issues & estimated counts
authoraddshore <addshorewiki@gmail.com>
Fri, 30 Jun 2017 12:59:56 +0000 (13:59 +0100)
committeraddshore <addshorewiki@gmail.com>
Fri, 30 Jun 2017 13:10:04 +0000 (14:10 +0100)
commita756f82851410be671976d75814fa007f7807a4b
treecdb5f10a2736f57cbeacad34636f2909d573d1df
parent8c5d276eefd373338683162ec35c17ee51a51216
Update phan issues & estimated counts

Since the last update there is a total of 550 less issues.
744 removed and 194 added in various places.
(roughly)

Change-Id: I0431773973c146e1492de72d869f6d33de4084e8
tests/phan/config.php