Page MenuHomePhabricator
Create Task
Maniphest T224766

Add phan to TimedMediaHandler extension
Closed, ResolvedPublic
Actions

Description

As wmf deployed extension the TimedMediaHandler extension should run phan on CI to found simple bugs in an earlier state of development.

The folder /includes/handlers/OggHandler/File_Ogg/ should be excluded from analyze (but needed as file for parsing)

Details

SubjectRepoBranchLines +/-
[TimedMediaHandler] Run phan jobintegration/configmaster+1 -0
build: Add mediawiki/mediawiki-phan-configmediawiki/extensions/TimedMediaHandlermaster+347 -35
[TimedMediaHandler] Add phan dependencyintegration/configmaster+1 -0
Customize query in gerrit

Related Objects
Search...

Event Timeline

Umherirrender created this task.May 31 2019, 8:46 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMay 31 2019, 8:46 PM
Umherirrender updated the task description. (Show Details)May 31 2019, 8:47 PM
Umherirrender renamed this task from Add phan to TimedMediaHandlerextension to Add phan to TimedMediaHandler extension.May 31 2019, 8:52 PM
Umherirrender added a parent task: T224783: Enable mediawiki/mediawiki-phan-config on all Wikimedia-deployed repositories.May 31 2019, 9:39 PM
gerritbot added a comment.Aug 6 2019, 11:05 PM

Change 528592 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[integration/config@master] [TimedMediaHandler] Add phan dependency

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

gerritbot added a project: Patch-For-Review.Aug 6 2019, 11:05 PM
Umherirrender claimed this task.Aug 6 2019, 11:29 PM
Umherirrender triaged this task as Medium priority.
gerritbot added a comment.Aug 6 2019, 11:56 PM

Change 528599 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[mediawiki/extensions/TimedMediaHandler@master] build: Add mediawiki/mediawiki-phan-config

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

gerritbot added a comment.Aug 6 2019, 11:57 PM

Change 528600 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[integration/config@master] [TimedMediaHandler] Run phan job

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

gerritbot added a comment.Aug 21 2019, 10:58 AM

Change 528592 merged by jenkins-bot:
[integration/config@master] [TimedMediaHandler] Add phan dependency

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

gerritbot added a comment.Aug 27 2019, 8:06 PM

Change 528599 merged by jenkins-bot:
[mediawiki/extensions/TimedMediaHandler@master] build: Add mediawiki/mediawiki-phan-config

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

ReleaseTaggerBot added a project: MW-1.34-notes (1.34.0-wmf.21; 2019-09-03).Aug 27 2019, 9:00 PM
gerritbot added a comment.Aug 28 2019, 2:59 PM

Change 528600 merged by jenkins-bot:
[integration/config@master] [TimedMediaHandler] Run phan job

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

Maintenance_bot removed a project: Patch-For-Review.Aug 28 2019, 3:10 PM
Stashbot added a comment.Aug 28 2019, 11:00 PM

Mentioned in SAL (#wikimedia-releng) [2019-08-28T23:00:20Z] <James_F> Zuul: [TimedMediaHandler] Run phan job T224766 (merged but not deployed?)

Umherirrender closed this task as Resolved.Aug 31 2019, 10:53 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