Upgrade Renameuser extension to use newer phan
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	Legoktm
	Feb 24 2019, 7:29 AM

Description

Renameuser 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 https://www.mediawiki.org/wiki/Continuous_integration/Tutorials/Add_phan_to_a_MediaWiki_extension#Migrating_from_phan_0.8.0.

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

Details

	Subject	Repo	Branch	Lines +/-
	Migrate to new phan	mediawiki/extensions/Renameuser	master	+5 -5

Customize query in gerrit

Event Timeline

Legoktm added projects: MediaWiki-User-rename, phan.Feb 24 2019, 7:29 AM

Legoktm subscribed.

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptFeb 24 2019, 7:29 AM

Change 493707 had a related patch set uploaded (by Matěj Suchánek; owner: Matěj Suchánek):
[mediawiki/extensions/Renameuser@master] Mirgate to new phan

https://gerrit.wikimedia.org/r/493707

gerritbot added a project: Patch-For-Review.Mar 1 2019, 3:34 PM

Change 493707 merged by jenkins-bot:
[mediawiki/extensions/Renameuser@master] Migrate to new phan

https://gerrit.wikimedia.org/r/493707

Thanks @matej_suchanek!

ReleaseTaggerBot added a project: MW-1.33-notes (1.33.0-wmf.21; 2019-03-12).Mar 5 2019, 2:04 PM

Upgrade Renameuser extension to use newer phanClosed, ResolvedPublicActions

Description

Details

Event Timeline

Upgrade Renameuser extension to use newer phan
Closed, ResolvedPublic
Actions