I've just released the 0.8.0 version of phan. It has roughly the same features as 0.7.1, but it brings in the three important changes:
- phan/phan upgraded from 2.2.11 to 2.2.13 - fixes a lot of false positives for hooks and references
- It now requires PHP 7.2 in composer.json
- It also requires phan/phan, so that you don't have to install it manually (when testing locally), and we don't have to require it in our CI by looking at the "extra" field.
[[http://libraryupgrader2.wmflabs.org/library/composer/mediawiki/mediawiki-phan-config|LibraryUpgrader's views of which repos have which version]]
**TODO**: Update [[https://www.mediawiki.org/wiki/Continuous_integration/Phan|docs]] on mw.org; specifically, remove install instructions (composer install will install phan automatically)