build: Updating mediawiki/mediawiki-phan-config to 0.10.2
build: Updating mediawiki/mediawiki-phan-config to 0.10.2

Additional changes:
* Removed phan-taint-check-plugin from extra, now inherited from mediawiki-phan-config.

Change-Id: Ic52fab592044488c31a9cb64e06812470b0239f9

wikimedia/mediawiki-extensions-Josa,wikimedia/mediawiki-extensions-Josa