HomePhabricator

build: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0

Authored by Jdforrester-WMF on May 19 2019, 11:47 AM.

Description

build: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0

Change-Id: Ic5554b5a403cde0a0a3a6313ba4c51a5a838a9b3

Details

Committed
UmherirrenderMay 19 2019, 12:04 PM
Parents
rSECC6f0f5a0ce239: Upgrade to newer phan
Branches
Unknown
Tags
Unknown
References
refs/changes/96/511296/2
ChangeId
Ic5554b5a403cde0a0a3a6313ba4c51a5a838a9b3