Page MenuHomePhabricator

Add phan to TimedMediaHandler extension
Closed, ResolvedPublic

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)

Event Timeline

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMay 31 2019, 8:46 PM
Umherirrender renamed this task from Add phan to TimedMediaHandlerextension to Add phan to TimedMediaHandler extension.May 31 2019, 8:52 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

Umherirrender triaged this task as Normal priority.

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

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

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

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

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

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

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

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

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.Sat, Aug 31, 10:53 PM