Page MenuHomePhabricator
Create Task
Maniphest T216951

Upgrade WikiEditor extension to use newer phan
Closed, ResolvedPublic
Actions

Description

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 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

SubjectRepoBranchLines +/-
Upgrade to new phanmediawiki/extensions/WikiEditormaster+25 -25
Customize query in gerrit

Event Timeline

Legoktm added projects: WikiEditor (2010), phan.Feb 24 2019, 7:29 AM
Legoktm subscribed.
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptFeb 24 2019, 7:30 AM
gerritbot subscribed.Mar 17 2019, 4:44 AM

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

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

gerritbot added a project: Patch-For-Review.Mar 17 2019, 4:44 AM
Legoktm claimed this task.Mar 17 2019, 4:45 AM
gerritbot added a comment.Mar 17 2019, 6:14 PM

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

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

Legoktm closed this task as Resolved.Mar 17 2019, 6:16 PM
ReleaseTaggerBot added a project: MW-1.33-notes (1.33.0-wmf.22; 2019-03-19).Mar 17 2019, 7:01 PM
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL · Credits