Indeed. I should also note that the issue reported at https://phabricator.wikimedia.org/T280064 is about xdebug not being found. I don't have an explanation for this; perhaps something was missed while switching the job to PHP 7.3. OTOH, my proposed solution will make it possible to use pcov instead of xdebug, thus basically ignoring the current issue with xdebug. The rationale being, I don't think it's necessary to unbreak xdebug support if we're migrating away from it anyway.
Il giorno mer 14 apr 2021 alle ore 07:05 Kunal Mehta legoktm@debian.org ha scritto:
Hi,
On 4/13/21 7:47 PM, Zoran Dori wrote:
<snip> I would like to know why is this happening.
See https://phabricator.wikimedia.org/T280064 and https://phabricator.wikimedia.org/T234020#6989290. Daimona has proposed https://gerrit.wikimedia.org/r/c/integration/config/+/678383/ to hopefully fix it.
-- Legoktm
Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l