Page MenuHomePhabricator

Upgrade WikiEditor extension to use newer phan
Closed, ResolvedPublic


WikiEditor needs to be upgraded to a newer version of phan, our PHP static analysis tool. This brings in
over 2 years of upstream improvements and lots of bug fixes.

Please follow the instructions on how to migrate at

Please also set the Gerrit topic for all patches related to this effort with new-phan-plz.

Event Timeline

Change 497088 had a related patch set uploaded (by Legoktm; owner: Legoktm):
[mediawiki/extensions/WikiEditor@master] Upgrade to new phan

Change 497088 merged by jenkins-bot:
[mediawiki/extensions/WikiEditor@master] Upgrade to new phan