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


--
https://meta.wikimedia.org/wiki/User:Daimona_Eaytoy
"Daimona" is not my real name -- he/him